Почетна Преглед Помоћ
Пријавите се
tomteb
/
carbon-lang
1
0
Креирај огранак 0
Датотеке Дискусије 0 Захтеви за спајање 0 Вики
Дрво: 035afdccff
Гране Ознаке
carbon-lang
/
explorer
/
testdata
/
impl
pk19604014 f0a34e4bf7 Added TypeCheckTypeExp() and changed function type literal and similar type-checking logic to use the new function (#1256) пре 4 година
..
fail_ambiguous_impl.carbon e85f45de10 Move CHECK lines in tests next to the line that caused the output. (#1224) пре 4 година
fail_impl_as_not_constraint.carbon e85f45de10 Move CHECK lines in tests next to the line that caused the output. (#1224) пре 4 година
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 година
fail_param_interface_in_impl.carbon 5c826df8bb Support deducing within the parameters of an interface type (#1278) пре 4 година
impl_as.carbon e85f45de10 Move CHECK lines in tests next to the line that caused the output. (#1224) пре 4 година
impl_in_generic_class.carbon a9bf3e5947 Support `impl as` in generic classes. (#1267) пре 4 година
param_impl.carbon 309ec35f95 Rename executable_semantics to explorer (#1188) пре 4 година
param_impl2.carbon 309ec35f95 Rename executable_semantics to explorer (#1188) пре 4 година
param_impl_with_self.carbon 0a93289706 Add support for `Self` and `impl as` (#1194) пре 4 година
param_interface_in_impl.carbon 5c826df8bb Support deducing within the parameters of an interface type (#1278) пре 4 година