Jon Ross-Perkins 59c4cbcaf1 Treat type modifiers as distinct type structure (#6073) 7 месяцев назад
..
lookup 59c4cbcaf1 Treat type modifiers as distinct type structure (#6073) 7 месяцев назад
assoc_const_self.carbon 5e3bb523f8 Add builtin functions for destroy, with special requirements in facet types (#6035) 7 месяцев назад
basic.carbon 19a7fb08b7 Switch handling of errors in impls to not build a type structure (#5881) 9 месяцев назад
compound.carbon 5e3bb523f8 Add builtin functions for destroy, with special requirements in facet types (#6035) 7 месяцев назад
declaration.carbon 7ccc1e0144 Expand naming for impls and functions (#5808) 9 месяцев назад
empty.carbon 7ccc1e0144 Expand naming for impls and functions (#5808) 9 месяцев назад
error_recovery.carbon 55085de6aa Use GetStructType when building object repr structs (#5923) 8 месяцев назад
extend_final.carbon 78d4cce9f8 Put min_prelude in a testdata dir (#5635) 10 месяцев назад
extend_impl.carbon 55085de6aa Use GetStructType when building object repr structs (#5923) 8 месяцев назад
extend_impl_generic.carbon 5e3bb523f8 Add builtin functions for destroy, with special requirements in facet types (#6035) 7 месяцев назад
fail_alias.carbon 5e3bb523f8 Add builtin functions for destroy, with special requirements in facet types (#6035) 7 месяцев назад
fail_call_invalid.carbon 5e3bb523f8 Add builtin functions for destroy, with special requirements in facet types (#6035) 7 месяцев назад
fail_extend_impl_forall.carbon 5e3bb523f8 Add builtin functions for destroy, with special requirements in facet types (#6035) 7 месяцев назад
fail_extend_impl_scope.carbon 5e3bb523f8 Add builtin functions for destroy, with special requirements in facet types (#6035) 7 месяцев назад
fail_extend_impl_type_as.carbon 5e3bb523f8 Add builtin functions for destroy, with special requirements in facet types (#6035) 7 месяцев назад
fail_extend_non_interface.carbon b410ebd088 Fix destruction of generic types (#5943) 8 месяцев назад
fail_extend_partially_defined_interface.carbon 55085de6aa Use GetStructType when building object repr structs (#5923) 8 месяцев назад
fail_extend_undefined_interface.carbon 55085de6aa Use GetStructType when building object repr structs (#5923) 8 месяцев назад
fail_impl_as_scope.carbon 5e3bb523f8 Add builtin functions for destroy, with special requirements in facet types (#6035) 7 месяцев назад
fail_impl_bad_assoc_const.carbon 7ccc1e0144 Expand naming for impls and functions (#5808) 9 месяцев назад
fail_impl_bad_assoc_fn.carbon 5e3bb523f8 Add builtin functions for destroy, with special requirements in facet types (#6035) 7 месяцев назад
fail_impl_bad_interface.carbon 694c00c7eb Make `Core.Float` a class. Add missing builtins for float support. (#5932) 8 месяцев назад
fail_impl_bad_type.carbon 5e3bb523f8 Add builtin functions for destroy, with special requirements in facet types (#6035) 7 месяцев назад
fail_redefinition.carbon 5e3bb523f8 Add builtin functions for destroy, with special requirements in facet types (#6035) 7 месяцев назад
fail_self_type_mismatch.carbon 5e3bb523f8 Add builtin functions for destroy, with special requirements in facet types (#6035) 7 месяцев назад
fail_undefined_interface.carbon 58de34e534 Decouple associated constants from let (#5973) 8 месяцев назад
forward_decls.carbon 5e3bb523f8 Add builtin functions for destroy, with special requirements in facet types (#6035) 7 месяцев назад
generic_redeclaration.carbon 5e3bb523f8 Add builtin functions for destroy, with special requirements in facet types (#6035) 7 месяцев назад
impl_as.carbon 5e3bb523f8 Add builtin functions for destroy, with special requirements in facet types (#6035) 7 месяцев назад
impl_assoc_const.carbon 58de34e534 Decouple associated constants from let (#5973) 8 месяцев назад
impl_assoc_const_with_prelude.carbon 5e3bb523f8 Add builtin functions for destroy, with special requirements in facet types (#6035) 7 месяцев назад
impl_forall.carbon ed43fd2c1c Give the BindSymbolicName for .Self in a binding pattern a FacetType type (#6036) 7 месяцев назад
impl_self_as.carbon 76cdbd8a5a Introduce the `none.carbon` min-prelude (#5694) 10 месяцев назад
impl_thunk.carbon b44ba47cf3 Don't treat dependent types as having a copy value representation. (#6055) 7 месяцев назад
impl_thunk_min_prelude.carbon 5e3bb523f8 Add builtin functions for destroy, with special requirements in facet types (#6035) 7 месяцев назад
impl_where_redecl.carbon 76cdbd8a5a Introduce the `none.carbon` min-prelude (#5694) 10 месяцев назад
import_builtin_call.carbon 5e3bb523f8 Add builtin functions for destroy, with special requirements in facet types (#6035) 7 месяцев назад
import_compound.carbon 5e3bb523f8 Add builtin functions for destroy, with special requirements in facet types (#6035) 7 месяцев назад
import_extend_impl.carbon 5e3bb523f8 Add builtin functions for destroy, with special requirements in facet types (#6035) 7 месяцев назад
import_generic.carbon 5e3bb523f8 Add builtin functions for destroy, with special requirements in facet types (#6035) 7 месяцев назад
import_impl_with_no_interface.carbon 76cdbd8a5a Introduce the `none.carbon` min-prelude (#5694) 10 месяцев назад
import_interface_assoc_const.carbon 5e3bb523f8 Add builtin functions for destroy, with special requirements in facet types (#6035) 7 месяцев назад
import_self.carbon 5e3bb523f8 Add builtin functions for destroy, with special requirements in facet types (#6035) 7 месяцев назад
import_thunk.carbon 5e3bb523f8 Add builtin functions for destroy, with special requirements in facet types (#6035) 7 месяцев назад
import_use_generic.carbon 5e3bb523f8 Add builtin functions for destroy, with special requirements in facet types (#6035) 7 месяцев назад
interface_args.carbon 5e3bb523f8 Add builtin functions for destroy, with special requirements in facet types (#6035) 7 месяцев назад
multiple_extend.carbon 5e3bb523f8 Add builtin functions for destroy, with special requirements in facet types (#6035) 7 месяцев назад
name_poisoning.carbon 76cdbd8a5a Introduce the `none.carbon` min-prelude (#5694) 10 месяцев назад
no_definition_in_impl_file.carbon 5e3bb523f8 Add builtin functions for destroy, with special requirements in facet types (#6035) 7 месяцев назад
redeclaration.carbon 5e3bb523f8 Add builtin functions for destroy, with special requirements in facet types (#6035) 7 месяцев назад
self_in_class.carbon 5e3bb523f8 Add builtin functions for destroy, with special requirements in facet types (#6035) 7 месяцев назад
self_in_signature.carbon 5e3bb523f8 Add builtin functions for destroy, with special requirements in facet types (#6035) 7 месяцев назад
todo_impl_with_unrelated_fn.carbon 55085de6aa Use GetStructType when building object repr structs (#5923) 8 месяцев назад
use_assoc_const.carbon b44ba47cf3 Don't treat dependent types as having a copy value representation. (#6055) 7 месяцев назад