Richard Smith e26b6a35c2 Allow instance binding on tuple-valued expressions. (#6203) před 6 měsíci
..
lookup e682a6660d Avoid adding extraneous local instructions while importing witness table entries (#6180) před 6 měsíci
assoc_const_self.carbon fe020ee08b Make FacetAccessType evaluate to SymbolicBindingType for type-of a BindSymbolicName (#6115) před 7 měsíci
basic.carbon 19a7fb08b7 Switch handling of errors in impls to not build a type structure (#5881) před 9 měsíci
compound.carbon 93b79f159e Change InstId dumping to hex numbers that include the tag (#6175) před 6 měsíci
declaration.carbon 7ccc1e0144 Expand naming for impls and functions (#5808) před 9 měsíci
empty.carbon 7ccc1e0144 Expand naming for impls and functions (#5808) před 9 měsíci
error_recovery.carbon 55085de6aa Use GetStructType when building object repr structs (#5923) před 9 měsíci
extend_final.carbon 9704dc670e Change the Destroy blanket impls to be more specific (#6098) před 7 měsíci
extend_impl.carbon 55085de6aa Use GetStructType when building object repr structs (#5923) před 9 měsíci
extend_impl_generic.carbon e682a6660d Avoid adding extraneous local instructions while importing witness table entries (#6180) před 6 měsíci
fail_alias.carbon 5e3bb523f8 Add builtin functions for destroy, with special requirements in facet types (#6035) před 7 měsíci
fail_call_invalid.carbon fe020ee08b Make FacetAccessType evaluate to SymbolicBindingType for type-of a BindSymbolicName (#6115) před 7 měsíci
fail_extend_impl_forall.carbon 5e3bb523f8 Add builtin functions for destroy, with special requirements in facet types (#6035) před 7 měsíci
fail_extend_impl_scope.carbon e682a6660d Avoid adding extraneous local instructions while importing witness table entries (#6180) před 6 měsíci
fail_extend_impl_type_as.carbon 49ba8cf3e1 Switch class to use a blanket impl for `Destroy` (#6125) před 7 měsíci
fail_extend_non_interface.carbon 49ba8cf3e1 Switch class to use a blanket impl for `Destroy` (#6125) před 7 měsíci
fail_extend_partially_defined_interface.carbon 55085de6aa Use GetStructType when building object repr structs (#5923) před 9 měsíci
fail_extend_undefined_interface.carbon 55085de6aa Use GetStructType when building object repr structs (#5923) před 9 měsíci
fail_impl_as_scope.carbon e682a6660d Avoid adding extraneous local instructions while importing witness table entries (#6180) před 6 měsíci
fail_impl_bad_assoc_const.carbon 7ccc1e0144 Expand naming for impls and functions (#5808) před 9 měsíci
fail_impl_bad_assoc_fn.carbon fe020ee08b Make FacetAccessType evaluate to SymbolicBindingType for type-of a BindSymbolicName (#6115) před 7 měsíci
fail_impl_bad_interface.carbon 694c00c7eb Make `Core.Float` a class. Add missing builtins for float support. (#5932) před 8 měsíci
fail_impl_bad_type.carbon 5e3bb523f8 Add builtin functions for destroy, with special requirements in facet types (#6035) před 7 měsíci
fail_redefinition.carbon 5e3bb523f8 Add builtin functions for destroy, with special requirements in facet types (#6035) před 7 měsíci
fail_self_type_mismatch.carbon a6bb11f1cf Rearrange convert: construct FacetAccessType from a facet value before impl lookup instead of after (#6113) před 7 měsíci
fail_undefined_interface.carbon fe020ee08b Make FacetAccessType evaluate to SymbolicBindingType for type-of a BindSymbolicName (#6115) před 7 měsíci
forward_decls.carbon fe020ee08b Make FacetAccessType evaluate to SymbolicBindingType for type-of a BindSymbolicName (#6115) před 7 měsíci
generic_redeclaration.carbon fe020ee08b Make FacetAccessType evaluate to SymbolicBindingType for type-of a BindSymbolicName (#6115) před 7 měsíci
impl_as.carbon e682a6660d Avoid adding extraneous local instructions while importing witness table entries (#6180) před 6 měsíci
impl_assoc_const.carbon fe020ee08b Make FacetAccessType evaluate to SymbolicBindingType for type-of a BindSymbolicName (#6115) před 7 měsíci
impl_assoc_const_with_prelude.carbon fe020ee08b Make FacetAccessType evaluate to SymbolicBindingType for type-of a BindSymbolicName (#6115) před 7 měsíci
impl_forall.carbon ed43fd2c1c Give the BindSymbolicName for .Self in a binding pattern a FacetType type (#6036) před 7 měsíci
impl_self_as.carbon 76cdbd8a5a Introduce the `none.carbon` min-prelude (#5694) před 10 měsíci
impl_thunk.carbon e26b6a35c2 Allow instance binding on tuple-valued expressions. (#6203) před 6 měsíci
impl_thunk_min_prelude.carbon fe020ee08b Make FacetAccessType evaluate to SymbolicBindingType for type-of a BindSymbolicName (#6115) před 7 měsíci
impl_where_redecl.carbon 76cdbd8a5a Introduce the `none.carbon` min-prelude (#5694) před 10 měsíci
import_builtin_call.carbon 93b79f159e Change InstId dumping to hex numbers that include the tag (#6175) před 6 měsíci
import_compound.carbon 93b79f159e Change InstId dumping to hex numbers that include the tag (#6175) před 6 měsíci
import_extend_impl.carbon 93b79f159e Change InstId dumping to hex numbers that include the tag (#6175) před 6 měsíci
import_generic.carbon 93b79f159e Change InstId dumping to hex numbers that include the tag (#6175) před 6 měsíci
import_impl_with_no_interface.carbon 76cdbd8a5a Introduce the `none.carbon` min-prelude (#5694) před 10 měsíci
import_interface_assoc_const.carbon 93b79f159e Change InstId dumping to hex numbers that include the tag (#6175) před 6 měsíci
import_self.carbon 93b79f159e Change InstId dumping to hex numbers that include the tag (#6175) před 6 měsíci
import_self_specific.carbon e682a6660d Avoid adding extraneous local instructions while importing witness table entries (#6180) před 6 měsíci
import_thunk.carbon e682a6660d Avoid adding extraneous local instructions while importing witness table entries (#6180) před 6 měsíci
import_use_generic.carbon e26b6a35c2 Allow instance binding on tuple-valued expressions. (#6203) před 6 měsíci
interface_args.carbon 93b79f159e Change InstId dumping to hex numbers that include the tag (#6175) před 6 měsíci
multiple_extend.carbon 5e3bb523f8 Add builtin functions for destroy, with special requirements in facet types (#6035) před 7 měsíci
name_poisoning.carbon 76cdbd8a5a Introduce the `none.carbon` min-prelude (#5694) před 10 měsíci
no_definition_in_impl_file.carbon 93b79f159e Change InstId dumping to hex numbers that include the tag (#6175) před 6 měsíci
redeclaration.carbon 49ba8cf3e1 Switch class to use a blanket impl for `Destroy` (#6125) před 7 měsíci
self_in_class.carbon fe020ee08b Make FacetAccessType evaluate to SymbolicBindingType for type-of a BindSymbolicName (#6115) před 7 měsíci
self_in_signature.carbon fe020ee08b Make FacetAccessType evaluate to SymbolicBindingType for type-of a BindSymbolicName (#6115) před 7 měsíci
todo_impl_with_unrelated_fn.carbon 55085de6aa Use GetStructType when building object repr structs (#5923) před 9 měsíci
use_assoc_const.carbon e26b6a35c2 Allow instance binding on tuple-valued expressions. (#6203) před 6 měsíci
using_invalid_interface.carbon 81c2b3be1a Handle some more errors in interfaces without crashing. (#6155) před 7 měsíci