Richard Smith f33481e41f Unify logic for function calls and parameterized entity names. (#1281) ...

This improves diagnostics and adds support for cases like
```
class C(T:! Type, N:! T) {}
```
which we already supported in function calls.

2022-05-20 14:26:32 -07:00

..

class_function.carbon

Rename executable_semantics to explorer (#1188)

2022-04-29 13:20:25 -07:00

convert_from_struct.carbon

Support explicit generic parameters in function parameter lists (#1259)

2022-05-12 12:39:51 -07:00

fail_args_mismatch.carbon

Unify logic for function calls and parameterized entity names. (#1281)

2022-05-20 14:26:32 -07:00

fail_argument_deduction.carbon

Initial support for generic parameters that are introduced in a function parameter list (#1247)

2022-05-12 08:48:19 -07:00

fail_bad_parameter_type.carbon

Unify logic for function calls and parameterized entity names. (#1281)

2022-05-20 14:26:32 -07:00

fail_field_access_on_generic.carbon

Move CHECK lines in tests next to the line that caused the output. (#1224)

2022-05-03 15:48:56 -07:00

fail_generic_class_arg.carbon

Unify logic for function calls and parameterized entity names. (#1281)

2022-05-20 14:26:32 -07:00

fail_generic_in_pattern.carbon

Move CHECK lines in tests next to the line that caused the output. (#1224)

2022-05-03 15:48:56 -07:00

fail_instantiate_non_generic.carbon

Improve diagnostic for call to non-function. (#1245)

2022-05-10 16:06:15 -07:00

fail_no_args.carbon

Add support for Self and impl as (#1194)

2022-05-05 18:23:13 -07:00

fail_point_equal.carbon

Move CHECK lines in tests next to the line that caused the output. (#1224)

2022-05-03 15:48:56 -07:00

fail_return_type_is_type.carbon

Use a separate type for a parameterized entity name that is waiting for its arguments to arrive. (#1223)

2022-05-05 14:30:18 -07:00

fail_self_with_arg.carbon

Improve diagnostic for call to non-function. (#1245)

2022-05-10 16:06:15 -07:00

fail_two_arg_lists.carbon

Improve diagnostic for call to non-function. (#1245)

2022-05-10 16:06:15 -07:00

generic_class_substitution.carbon

Rename executable_semantics to explorer (#1188)

2022-04-29 13:20:25 -07:00

generic_fun_and_class.carbon

Rename executable_semantics to explorer (#1188)

2022-04-29 13:20:25 -07:00

generic_point.carbon

Rename executable_semantics to explorer (#1188)

2022-04-29 13:20:25 -07:00

impl_with_argument.carbon

Add support for Self and impl as (#1194)

2022-05-05 18:23:13 -07:00

impl_with_self.carbon

Add support for Self and impl as (#1194)

2022-05-05 18:23:13 -07:00

param_with_dependent_type.carbon

Unify logic for function calls and parameterized entity names. (#1281)

2022-05-20 14:26:32 -07:00

point_with_interface.carbon

Rename executable_semantics to explorer (#1188)

2022-04-29 13:20:25 -07:00

use_self.carbon

Add support for Self and impl as (#1194)

2022-05-05 18:23:13 -07:00