tomteb/carbon-lang: == Clone of https://github.com/carbon-language/carbon-lang.git == @ 035afdccff2ad2bb76d9dc3ddd6eacd85e84af11

Pohon: 035afdccff

pk19604014 f0a34e4bf7 Added TypeCheckTypeExp() and changed function type literal and similar type-checking logic to use the new function (#1256)		4 tahun lalu
..
fail_ambiguous_impl.carbon	e85f45de10 Move CHECK lines in tests next to the line that caused the output. (#1224)	4 tahun lalu
fail_impl_as_not_constraint.carbon	e85f45de10 Move CHECK lines in tests next to the line that caused the output. (#1224)	4 tahun lalu
fail_impl_as_parameterized.carbon	f0a34e4bf7 Added TypeCheckTypeExp() and changed function type literal and similar type-checking logic to use the new function (#1256)	4 tahun lalu
fail_param_interface_in_impl.carbon	5c826df8bb Support deducing within the parameters of an interface type (#1278)	4 tahun lalu
impl_as.carbon	e85f45de10 Move CHECK lines in tests next to the line that caused the output. (#1224)	4 tahun lalu
impl_in_generic_class.carbon	a9bf3e5947 Support `impl as` in generic classes. (#1267)	4 tahun lalu
param_impl.carbon	309ec35f95 Rename executable_semantics to explorer (#1188)	4 tahun lalu
param_impl2.carbon	309ec35f95 Rename executable_semantics to explorer (#1188)	4 tahun lalu
param_impl_with_self.carbon	0a93289706 Add support for `Self` and `impl as` (#1194)	4 tahun lalu
param_interface_in_impl.carbon	5c826df8bb Support deducing within the parameters of an interface type (#1278)	4 tahun lalu