Richard Smith 392182cee1 Check for a symbolic value only if normal value lookup fails. (#1326) 3 年之前
..
class_function.carbon 309ec35f95 Rename executable_semantics to explorer (#1188) 4 年之前
convert_from_struct.carbon 2e776a442d FIXME -> TODO for C++ style (#1282) 4 年之前
fail_args_mismatch.carbon f33481e41f Unify logic for function calls and parameterized entity names. (#1281) 4 年之前
fail_argument_deduction.carbon c29f56e667 Initial support for generic parameters that are introduced in a function parameter list (#1247) 4 年之前
fail_bad_parameter_type.carbon f33481e41f Unify logic for function calls and parameterized entity names. (#1281) 4 年之前
fail_field_access_on_generic.carbon 1bb370420b Initial support for constraints formed by combining interfaces (#1307) 3 年之前
fail_generic_class_arg.carbon f33481e41f Unify logic for function calls and parameterized entity names. (#1281) 4 年之前
fail_generic_in_pattern.carbon 96a663766c Remove support for nesting blocks within blocks. (#1309) 3 年之前
fail_instantiate_non_generic.carbon dbe535b719 Improve diagnostic for call to non-function. (#1245) 4 年之前
fail_no_args.carbon 0a93289706 Add support for `Self` and `impl as` (#1194) 4 年之前
fail_point_equal.carbon e85f45de10 Move CHECK lines in tests next to the line that caused the output. (#1224) 4 年之前
fail_return_type_is_type.carbon f0a34e4bf7 Added TypeCheckTypeExp() and changed function type literal and similar type-checking logic to use the new function (#1256) 4 年之前
fail_self_with_arg.carbon dbe535b719 Improve diagnostic for call to non-function. (#1245) 4 年之前
fail_two_arg_lists.carbon dbe535b719 Improve diagnostic for call to non-function. (#1245) 4 年之前
fail_value_param_mismatch.carbon 046a356002 Basic support for deduction of non-type values. (#1284) 4 年之前
generic_class_substitution.carbon 309ec35f95 Rename executable_semantics to explorer (#1188) 4 年之前
generic_fun_and_class.carbon 309ec35f95 Rename executable_semantics to explorer (#1188) 4 年之前
generic_point.carbon 309ec35f95 Rename executable_semantics to explorer (#1188) 4 年之前
impl_with_argument.carbon 0a93289706 Add support for `Self` and `impl as` (#1194) 4 年之前
impl_with_self.carbon 0a93289706 Add support for `Self` and `impl as` (#1194) 4 年之前
instantiation_at_compile_time.carbon 392182cee1 Check for a symbolic value only if normal value lookup fails. (#1326) 3 年之前
param_with_dependent_type.carbon 046a356002 Basic support for deduction of non-type values. (#1284) 4 年之前
point_with_interface.carbon 309ec35f95 Rename executable_semantics to explorer (#1188) 4 年之前
use_at_compile_time.carbon b74d3f80f1 Add a new kind of Witness value that carries an expression (#1324) 3 年之前
use_self.carbon 0a93289706 Add support for `Self` and `impl as` (#1194) 4 年之前