Richard Smith e172c0a581 Add test for member access into symbolic witness. (#2256) ...

Add missing test requested by @jonmeow in review of #2250.

2022-10-04 12:51:02 -07:00

..

class_function.carbon

Rename executable_semantics to explorer (#1188)

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

constrained_parameter.carbon

Rename executable_semantics to explorer (#1188)

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

external_impl_point_vector.carbon

Rename executable_semantics to explorer (#1188)

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

external_impl_use_self.carbon

Add support for Self and impl as (#1194)

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

fail_bad_member_kind.carbon

Initial support for associated constants (#1376)

2022-07-14 18:18:27 -07:00

fail_external_impl_omit_self.carbon

Add support for Self and impl as (#1194)

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

fail_external_impl_self.carbon

Add support for Self and impl as (#1194)

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

fail_impl_bad_member.carbon

Support user-defined implicit conversions via ImplicitAs (#1273)

2022-05-20 17:10:30 -07:00

fail_impl_missing_member.carbon

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

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

fail_impl_not_type.carbon

Added TypeCheckTypeExp() and changed function type literal and similar type-checking logic to use the new function (#1256)

2022-05-23 16:26:35 -07:00

fail_interface_missing_member.carbon

Initial support for constraints formed by combining interfaces (#1307)

2022-06-07 13:59:23 -07:00

fail_no_impl.carbon

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

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

fail_use_symbolic_member.carbon

Add test for member access into symbolic witness. (#2256)

2022-10-04 12:51:02 -07:00

generic_call_generic.carbon

Rename executable_semantics to explorer (#1188)

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

generic_with_two_params.carbon

Rename executable_semantics to explorer (#1188)

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

impl_self_interface_parameter.carbon

Add extensibility support for arithmetic operators. (#1751)

2022-07-27 15:09:27 -07:00

omit_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

parameterized.carbon

Rename executable_semantics to explorer (#1188)

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

tuple_vector_add_scale.carbon

Rename executable_semantics to explorer (#1188)

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

vector_point_add_scale.carbon

Rename executable_semantics to explorer (#1188)

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

with_self.carbon

Add support for Self and impl as (#1194)

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