Dana Jansens ff0cea55f6 Add require decls to Interface and NamedConstraint (#6321) 5 сар өмнө
..
lookup ff0cea55f6 Add require decls to Interface and NamedConstraint (#6321) 5 сар өмнө
assoc_const_self.carbon ff0cea55f6 Add require decls to Interface and NamedConstraint (#6321) 5 сар өмнө
basic.carbon 19a7fb08b7 Switch handling of errors in impls to not build a type structure (#5881) 9 сар өмнө
compound.carbon ff0cea55f6 Add require decls to Interface and NamedConstraint (#6321) 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 ff0cea55f6 Add require decls to Interface and NamedConstraint (#6321) 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) 9 сар өмнө
extend_impl_generic.carbon ff0cea55f6 Add require decls to Interface and NamedConstraint (#6321) 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 ff0cea55f6 Add require decls to Interface and NamedConstraint (#6321) 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 ff0cea55f6 Add require decls to Interface and NamedConstraint (#6321) 5 сар өмнө
fail_impl_bad_assoc_const.carbon ff0cea55f6 Add require decls to Interface and NamedConstraint (#6321) 5 сар өмнө
fail_impl_bad_assoc_fn.carbon ff0cea55f6 Add require decls to Interface and NamedConstraint (#6321) 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 сар өмнө
fail_undefined_interface.carbon ff0cea55f6 Add require decls to Interface and NamedConstraint (#6321) 5 сар өмнө
forward_decls.carbon ff0cea55f6 Add require decls to Interface and NamedConstraint (#6321) 5 сар өмнө
generic_redeclaration.carbon ff0cea55f6 Add require decls to Interface and NamedConstraint (#6321) 5 сар өмнө
impl_as.carbon ff0cea55f6 Add require decls to Interface and NamedConstraint (#6321) 5 сар өмнө
impl_as_named_constraint.carbon ca3f95faa6 Make named constraint eval to a FacetType with itself in it (#6308) 6 сар өмнө
impl_assoc_const.carbon 0811d996e1 Finish renaming BindName and related insts. (#6281) 6 сар өмнө
impl_assoc_const_with_prelude.carbon ff0cea55f6 Add require decls to Interface and NamedConstraint (#6321) 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 4821eec2f8 Add support for `ref` patterns (#6283) 6 сар өмнө
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 ff0cea55f6 Add require decls to Interface and NamedConstraint (#6321) 5 сар өмнө
import_compound.carbon ff0cea55f6 Add require decls to Interface and NamedConstraint (#6321) 5 сар өмнө
import_extend_impl.carbon ff0cea55f6 Add require decls to Interface and NamedConstraint (#6321) 5 сар өмнө
import_generic.carbon ff0cea55f6 Add require decls to Interface and NamedConstraint (#6321) 5 сар өмнө
import_impl_with_no_interface.carbon 76cdbd8a5a Introduce the `none.carbon` min-prelude (#5694) 10 сар өмнө
import_interface_assoc_const.carbon ff0cea55f6 Add require decls to Interface and NamedConstraint (#6321) 5 сар өмнө
import_self.carbon ff0cea55f6 Add require decls to Interface and NamedConstraint (#6321) 5 сар өмнө
import_self_specific.carbon ff0cea55f6 Add require decls to Interface and NamedConstraint (#6321) 5 сар өмнө
import_thunk.carbon ff0cea55f6 Add require decls to Interface and NamedConstraint (#6321) 5 сар өмнө
import_use_generic.carbon ff0cea55f6 Add require decls to Interface and NamedConstraint (#6321) 5 сар өмнө
interface_args.carbon ff0cea55f6 Add require decls to Interface and NamedConstraint (#6321) 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 ff0cea55f6 Add require decls to Interface and NamedConstraint (#6321) 5 сар өмнө
redeclaration.carbon ff0cea55f6 Add require decls to Interface and NamedConstraint (#6321) 5 сар өмнө
self_in_class.carbon ff0cea55f6 Add require decls to Interface and NamedConstraint (#6321) 5 сар өмнө
self_in_signature.carbon ff0cea55f6 Add require decls to Interface and NamedConstraint (#6321) 5 сар өмнө
todo_impl_with_unrelated_fn.carbon ff0cea55f6 Add require decls to Interface and NamedConstraint (#6321) 5 сар өмнө
use_assoc_const.carbon ff0cea55f6 Add require decls to Interface and NamedConstraint (#6321) 5 сар өмнө
using_invalid_interface.carbon 81c2b3be1a Handle some more errors in interfaces without crashing. (#6155) 7 сар өмнө