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

Árbore: 035afdccff

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