Dana Jansens 0baa74d96f Type completeness in extend (#6395) 5 ヶ月 前
..
lookup 93a8c5230c Ensure a symbolic `final impl` has a definition produced (#6236) 5 ヶ月 前
assoc_const_self.carbon 5ae5170421 Allow deduction of tuple and struct literals as symbolic generic facet types (#6365) 5 ヶ月 前
basic.carbon 19a7fb08b7 Switch handling of errors in impls to not build a type structure (#5881) 9 ヶ月 前
compound.carbon 8779b8f64b Replace pending generic logic with work stack-based logic (#6404) 5 ヶ月 前
declaration.carbon ff0cea55f6 Add require decls to Interface and NamedConstraint (#6321) 5 ヶ月 前
empty.carbon ff0cea55f6 Add require decls to Interface and NamedConstraint (#6321) 5 ヶ月 前
error_recovery.carbon 93a8c5230c Ensure a symbolic `final impl` has a definition produced (#6236) 5 ヶ月 前
extend_final.carbon 9704dc670e Change the Destroy blanket impls to be more specific (#6098) 7 ヶ月 前
extend_impl.carbon 55085de6aa Use GetStructType when building object repr structs (#5923) 8 ヶ月 前
extend_impl_generic.carbon 2b8fdf3417 Switch the prelude to use `ref` instead of `addr` (#6359) 5 ヶ月 前
fail_alias.carbon ff0cea55f6 Add require decls to Interface and NamedConstraint (#6321) 5 ヶ月 前
fail_call_invalid.carbon ff0cea55f6 Add require decls to Interface and NamedConstraint (#6321) 5 ヶ月 前
fail_extend_impl_forall.carbon ff0cea55f6 Add require decls to Interface and NamedConstraint (#6321) 5 ヶ月 前
fail_extend_impl_scope.carbon 2b8fdf3417 Switch the prelude to use `ref` instead of `addr` (#6359) 5 ヶ月 前
fail_extend_impl_type_as.carbon ff0cea55f6 Add require decls to Interface and NamedConstraint (#6321) 5 ヶ月 前
fail_extend_non_interface.carbon 49ba8cf3e1 Switch class to use a blanket impl for `Destroy` (#6125) 7 ヶ月 前
fail_extend_partially_defined_interface.carbon ff0cea55f6 Add require decls to Interface and NamedConstraint (#6321) 5 ヶ月 前
fail_extend_undefined_interface.carbon 09710d102f Separate binding insts for refs and values (#6235) 6 ヶ月 前
fail_impl_as_scope.carbon 2b8fdf3417 Switch the prelude to use `ref` instead of `addr` (#6359) 5 ヶ月 前
fail_impl_bad_assoc_const.carbon 5ae5170421 Allow deduction of tuple and struct literals as symbolic generic facet types (#6365) 5 ヶ月 前
fail_impl_bad_assoc_fn.carbon 5ae5170421 Allow deduction of tuple and struct literals as symbolic generic facet types (#6365) 5 ヶ月 前
fail_impl_bad_interface.carbon ff0cea55f6 Add require decls to Interface and NamedConstraint (#6321) 5 ヶ月 前
fail_impl_bad_type.carbon ff0cea55f6 Add require decls to Interface and NamedConstraint (#6321) 5 ヶ月 前
fail_redefinition.carbon ff0cea55f6 Add require decls to Interface and NamedConstraint (#6321) 5 ヶ月 前
fail_self_type_mismatch.carbon ff0cea55f6 Add require decls to Interface and NamedConstraint (#6321) 5 ヶ月 前
forward_decls.carbon 5ae5170421 Allow deduction of tuple and struct literals as symbolic generic facet types (#6365) 5 ヶ月 前
generic_redeclaration.carbon 5ae5170421 Allow deduction of tuple and struct literals as symbolic generic facet types (#6365) 5 ヶ月 前
impl_as.carbon 2b8fdf3417 Switch the prelude to use `ref` instead of `addr` (#6359) 5 ヶ月 前
impl_as_named_constraint.carbon 201e408252 Type completion of facet types is separate from Identifying (#6385) 5 ヶ月 前
impl_assoc_const.carbon 5ae5170421 Allow deduction of tuple and struct literals as symbolic generic facet types (#6365) 5 ヶ月 前
impl_assoc_const_with_prelude.carbon 5ae5170421 Allow deduction of tuple and struct literals as symbolic generic facet types (#6365) 5 ヶ月 前
impl_forall.carbon ff0cea55f6 Add require decls to Interface and NamedConstraint (#6321) 5 ヶ月 前
impl_self_as.carbon 76cdbd8a5a Introduce the `none.carbon` min-prelude (#5694) 10 ヶ月 前
impl_thunk.carbon 93a8c5230c Ensure a symbolic `final impl` has a definition produced (#6236) 5 ヶ月 前
impl_thunk_min_prelude.carbon 0811d996e1 Finish renaming BindName and related insts. (#6281) 6 ヶ月 前
impl_where_redecl.carbon 76cdbd8a5a Introduce the `none.carbon` min-prelude (#5694) 10 ヶ月 前
import_builtin_call.carbon 93a8c5230c Ensure a symbolic `final impl` has a definition produced (#6236) 5 ヶ月 前
import_compound.carbon 5ae5170421 Allow deduction of tuple and struct literals as symbolic generic facet types (#6365) 5 ヶ月 前
import_extend_impl.carbon ff0cea55f6 Add require decls to Interface and NamedConstraint (#6321) 5 ヶ月 前
import_generic.carbon 167b45ca35 Rewrite pending specifics to use the work stack (#6415) 5 ヶ月 前
import_impl_with_no_interface.carbon 76cdbd8a5a Introduce the `none.carbon` min-prelude (#5694) 10 ヶ月 前
import_interface_assoc_const.carbon 5ae5170421 Allow deduction of tuple and struct literals as symbolic generic facet types (#6365) 5 ヶ月 前
import_self.carbon 5ae5170421 Allow deduction of tuple and struct literals as symbolic generic facet types (#6365) 5 ヶ月 前
import_self_specific.carbon 93a8c5230c Ensure a symbolic `final impl` has a definition produced (#6236) 5 ヶ月 前
import_thunk.carbon 93a8c5230c Ensure a symbolic `final impl` has a definition produced (#6236) 5 ヶ月 前
import_use_generic.carbon 167b45ca35 Rewrite pending specifics to use the work stack (#6415) 5 ヶ月 前
incomplete.carbon 201e408252 Type completion of facet types is separate from Identifying (#6385) 5 ヶ月 前
interface_args.carbon 167b45ca35 Rewrite pending specifics to use the work stack (#6415) 5 ヶ月 前
multiple_extend.carbon ff0cea55f6 Add require decls to Interface and NamedConstraint (#6321) 5 ヶ月 前
name_poisoning.carbon 76cdbd8a5a Introduce the `none.carbon` min-prelude (#5694) 10 ヶ月 前
no_definition_in_impl_file.carbon 5ae5170421 Allow deduction of tuple and struct literals as symbolic generic facet types (#6365) 5 ヶ月 前
redeclaration.carbon ff0cea55f6 Add require decls to Interface and NamedConstraint (#6321) 5 ヶ月 前
self_in_class.carbon 5ae5170421 Allow deduction of tuple and struct literals as symbolic generic facet types (#6365) 5 ヶ月 前
self_in_signature.carbon 5ae5170421 Allow deduction of tuple and struct literals as symbolic generic facet types (#6365) 5 ヶ月 前
todo_impl_with_unrelated_fn.carbon ff0cea55f6 Add require decls to Interface and NamedConstraint (#6321) 5 ヶ月 前
use_assoc_entity.carbon 0baa74d96f Type completeness in extend (#6395) 5 ヶ月 前
using_invalid_interface.carbon 81c2b3be1a Handle some more errors in interfaces without crashing. (#6155) 7 ヶ月 前