Dana Jansens 4bb2935770 Look through `extend require` in an interface or named constraint in name lookup (#6630) 3 месяцев назад
..
as_type.carbon ff0cea55f6 Add require decls to Interface and NamedConstraint (#6321) 5 месяцев назад
as_type_of_type.carbon c5eba90317 Change `Destroy` to use a `CustomWitness` instead of a blanket impl (#6512) 4 месяцев назад
assoc_const.carbon efbebdb7b3 Remove unused code paths in EndAssociatedConstantDeclRegion (#6481) 4 месяцев назад
assoc_const_in_generic.carbon 4329a83e4c Form-aware textual format for return parameters and arguments (#6588) 3 месяцев назад
basic.carbon c5eba90317 Change `Destroy` to use a `CustomWitness` instead of a blanket impl (#6512) 4 месяцев назад
compound_member_access.carbon ee77aa4b67 Member access into a facet is not a "lookup in type of base" (#6631) 3 месяцев назад
default_fn.carbon 4329a83e4c Form-aware textual format for return parameters and arguments (#6588) 3 месяцев назад
export_name.carbon ff0cea55f6 Add require decls to Interface and NamedConstraint (#6321) 5 месяцев назад
fail_add_member_outside_definition.carbon c5eba90317 Change `Destroy` to use a `CustomWitness` instead of a blanket impl (#6512) 4 месяцев назад
fail_assoc_const_alias.carbon ee77aa4b67 Member access into a facet is not a "lookup in type of base" (#6631) 3 месяцев назад
fail_assoc_const_bad_default.carbon c5eba90317 Change `Destroy` to use a `CustomWitness` instead of a blanket impl (#6512) 4 месяцев назад
fail_assoc_fn_invalid_use.carbon ee77aa4b67 Member access into a facet is not a "lookup in type of base" (#6631) 3 месяцев назад
fail_definition_imported.carbon c5eba90317 Change `Destroy` to use a `CustomWitness` instead of a blanket impl (#6512) 4 месяцев назад
fail_duplicate.carbon c5eba90317 Change `Destroy` to use a `CustomWitness` instead of a blanket impl (#6512) 4 месяцев назад
fail_generic_redeclaration.carbon c5eba90317 Change `Destroy` to use a `CustomWitness` instead of a blanket impl (#6512) 4 месяцев назад
fail_lookup_in_type_type.carbon 5ae5170421 Allow deduction of tuple and struct literals as symbolic generic facet types (#6365) 5 месяцев назад
fail_lookup_undefined.carbon 4329a83e4c Form-aware textual format for return parameters and arguments (#6588) 3 месяцев назад
fail_member_lookup.carbon 4329a83e4c Form-aware textual format for return parameters and arguments (#6588) 3 месяцев назад
fail_modifiers.carbon ff0cea55f6 Add require decls to Interface and NamedConstraint (#6321) 5 месяцев назад
fail_redeclare_member.carbon 47e551141f Change the package namespace to use the package name (#6495) 4 месяцев назад
fail_todo_assoc_const_default.carbon c5eba90317 Change `Destroy` to use a `CustomWitness` instead of a blanket impl (#6512) 4 месяцев назад
fail_todo_define_default_fn_inline.carbon 4329a83e4c Form-aware textual format for return parameters and arguments (#6588) 3 месяцев назад
fail_todo_define_default_fn_out_of_line.carbon 4329a83e4c Form-aware textual format for return parameters and arguments (#6588) 3 месяцев назад
fail_todo_generic_default_fn.carbon 57a2715f10 Remove support for `addr` (#6375) 5 месяцев назад
fail_todo_modifiers.carbon ff0cea55f6 Add require decls to Interface and NamedConstraint (#6321) 5 месяцев назад
fail_type_as_facet.carbon 1893afe479 Tolerate incomplete interface when stringifying ImplWitnessAccess (#5730) 10 месяцев назад
final.carbon ee77aa4b67 Member access into a facet is not a "lookup in type of base" (#6631) 3 месяцев назад
generic.carbon 4329a83e4c Form-aware textual format for return parameters and arguments (#6588) 3 месяцев назад
generic_binding_after_assoc_const.carbon ff0cea55f6 Add require decls to Interface and NamedConstraint (#6321) 5 месяцев назад
generic_import.carbon c5eba90317 Change `Destroy` to use a `CustomWitness` instead of a blanket impl (#6512) 4 месяцев назад
generic_method.carbon ee77aa4b67 Member access into a facet is not a "lookup in type of base" (#6631) 3 месяцев назад
generic_vs_params.carbon c5eba90317 Change `Destroy` to use a `CustomWitness` instead of a blanket impl (#6512) 4 месяцев назад
import.carbon c5eba90317 Change `Destroy` to use a `CustomWitness` instead of a blanket impl (#6512) 4 месяцев назад
import_access.carbon ff0cea55f6 Add require decls to Interface and NamedConstraint (#6321) 5 месяцев назад
import_interface_decl.carbon c5eba90317 Change `Destroy` to use a `CustomWitness` instead of a blanket impl (#6512) 4 месяцев назад
incomplete.carbon a27ef24cd7 Use the name of the self and facet type as the inst name for a require decl scope (#6602) 3 месяцев назад
local.carbon c5eba90317 Change `Destroy` to use a `CustomWitness` instead of a blanket impl (#6512) 4 месяцев назад
member_lookup.carbon ee77aa4b67 Member access into a facet is not a "lookup in type of base" (#6631) 3 месяцев назад
name_poisoning.carbon 76cdbd8a5a Introduce the `none.carbon` min-prelude (#5694) 10 месяцев назад
require.carbon 4bb2935770 Look through `extend require` in an interface or named constraint in name lookup (#6630) 3 месяцев назад
require_invalid_modifiers.carbon 43e09e8e81 Type-check `require` declarations (#6286) 6 месяцев назад
self.carbon 4329a83e4c Form-aware textual format for return parameters and arguments (#6588) 3 месяцев назад
syntactic_merge.carbon c5eba90317 Change `Destroy` to use a `CustomWitness` instead of a blanket impl (#6512) 4 месяцев назад
todo_define_not_default.carbon 4329a83e4c Form-aware textual format for return parameters and arguments (#6588) 3 месяцев назад