| .. |
|
custom_witness
|
b79d9adeca
Avoid crashing in custom witness for FacetTypes and symbolic object representations (#7033)
|
il y a 3 semaines |
|
lookup
|
554b1b8d10
Remove SymbolicBindingType (#7114)
|
il y a 1 semaine |
|
assoc_const_self.carbon
|
554b1b8d10
Remove SymbolicBindingType (#7114)
|
il y a 1 semaine |
|
basic.carbon
|
fdb188ccfd
Implement unused pattern bindings, continued (#6518)
|
il y a 2 mois |
|
compound.carbon
|
554b1b8d10
Remove SymbolicBindingType (#7114)
|
il y a 1 semaine |
|
declaration.carbon
|
cea52ad2d8
Format the InterfaceWithSelf and NamedConstraintWithSelf generic name with its ".WithSelf" suffix (#6798)
|
il y a 2 mois |
|
empty.carbon
|
cea52ad2d8
Format the InterfaceWithSelf and NamedConstraintWithSelf generic name with its ".WithSelf" suffix (#6798)
|
il y a 2 mois |
|
error_recovery.carbon
|
181a592b8c
Support for parsing expression patterns (#6977)
|
il y a 1 mois |
|
eval_musteval.carbon
|
fdb188ccfd
Implement unused pattern bindings, continued (#6518)
|
il y a 2 mois |
|
extend_final.carbon
|
fdb188ccfd
Implement unused pattern bindings, continued (#6518)
|
il y a 2 mois |
|
extend_impl.carbon
|
7c1798d96d
Format impl witness instructions as part of the impl (#6485)
|
il y a 4 mois |
|
extend_impl_generic.carbon
|
554b1b8d10
Remove SymbolicBindingType (#7114)
|
il y a 1 semaine |
|
fail_alias.carbon
|
cea52ad2d8
Format the InterfaceWithSelf and NamedConstraintWithSelf generic name with its ".WithSelf" suffix (#6798)
|
il y a 2 mois |
|
fail_call_invalid.carbon
|
554b1b8d10
Remove SymbolicBindingType (#7114)
|
il y a 1 semaine |
|
fail_extend_impl_forall.carbon
|
18f87e4f79
Include the type in the location of binding insts (#6963)
|
il y a 1 mois |
|
fail_extend_impl_scope.carbon
|
9266ced4e3
Improve CanDestroyType to handle remaining cases (#6943)
|
il y a 1 mois |
|
fail_extend_impl_type_as.carbon
|
cea52ad2d8
Format the InterfaceWithSelf and NamedConstraintWithSelf generic name with its ".WithSelf" suffix (#6798)
|
il y a 2 mois |
|
fail_extend_non_interface.carbon
|
f9ab963bd6
Add a `type_literal` instruction to represent syntactic type literals. (#6781)
|
il y a 2 mois |
|
fail_extend_partially_defined_interface.carbon
|
cea52ad2d8
Format the InterfaceWithSelf and NamedConstraintWithSelf generic name with its ".WithSelf" suffix (#6798)
|
il y a 2 mois |
|
fail_extend_undefined_interface.carbon
|
e0c6800ab3
Reverse nesting structure of parameter patterns (#6930)
|
il y a 1 mois |
|
fail_impl_as_scope.carbon
|
554b1b8d10
Remove SymbolicBindingType (#7114)
|
il y a 1 semaine |
|
fail_impl_bad_assoc_const.carbon
|
cea52ad2d8
Format the InterfaceWithSelf and NamedConstraintWithSelf generic name with its ".WithSelf" suffix (#6798)
|
il y a 2 mois |
|
fail_impl_bad_assoc_fn.carbon
|
554b1b8d10
Remove SymbolicBindingType (#7114)
|
il y a 1 semaine |
|
fail_impl_bad_interface.carbon
|
554b1b8d10
Remove SymbolicBindingType (#7114)
|
il y a 1 semaine |
|
fail_impl_bad_type.carbon
|
cea52ad2d8
Format the InterfaceWithSelf and NamedConstraintWithSelf generic name with its ".WithSelf" suffix (#6798)
|
il y a 2 mois |
|
fail_redefinition.carbon
|
cea52ad2d8
Format the InterfaceWithSelf and NamedConstraintWithSelf generic name with its ".WithSelf" suffix (#6798)
|
il y a 2 mois |
|
fail_self_type_mismatch.carbon
|
262e24a2a0
Remove indirection through `NameRef`s when building a thunk call (#6965)
|
il y a 1 mois |
|
fail_todo_form_thunk.carbon
|
18f87e4f79
Include the type in the location of binding insts (#6963)
|
il y a 1 mois |
|
forward_decls.carbon
|
554b1b8d10
Remove SymbolicBindingType (#7114)
|
il y a 1 semaine |
|
generic_redeclaration.carbon
|
554b1b8d10
Remove SymbolicBindingType (#7114)
|
il y a 1 semaine |
|
impl_as.carbon
|
9266ced4e3
Improve CanDestroyType to handle remaining cases (#6943)
|
il y a 1 mois |
|
impl_as_named_constraint.carbon
|
235267680b
Subst `.Self` in `impl as` rewrites (#7105)
|
il y a 1 semaine |
|
impl_assoc_const.carbon
|
554b1b8d10
Remove SymbolicBindingType (#7114)
|
il y a 1 semaine |
|
impl_assoc_const_with_prelude.carbon
|
554b1b8d10
Remove SymbolicBindingType (#7114)
|
il y a 1 semaine |
|
impl_forall.carbon
|
18f87e4f79
Include the type in the location of binding insts (#6963)
|
il y a 1 mois |
|
impl_self_as.carbon
|
76cdbd8a5a
Introduce the `none.carbon` min-prelude (#5694)
|
il y a 10 mois |
|
impl_thunk.carbon
|
554b1b8d10
Remove SymbolicBindingType (#7114)
|
il y a 1 semaine |
|
impl_thunk_min_prelude.carbon
|
554b1b8d10
Remove SymbolicBindingType (#7114)
|
il y a 1 semaine |
|
impl_where_redecl.carbon
|
76cdbd8a5a
Introduce the `none.carbon` min-prelude (#5694)
|
il y a 10 mois |
|
import_builtin_call.carbon
|
554b1b8d10
Remove SymbolicBindingType (#7114)
|
il y a 1 semaine |
|
import_canonical_witnesses.carbon
|
fdb188ccfd
Implement unused pattern bindings, continued (#6518)
|
il y a 2 mois |
|
import_compound.carbon
|
554b1b8d10
Remove SymbolicBindingType (#7114)
|
il y a 1 semaine |
|
import_extend_impl.carbon
|
e0c6800ab3
Reverse nesting structure of parameter patterns (#6930)
|
il y a 1 mois |
|
import_generic.carbon
|
554b1b8d10
Remove SymbolicBindingType (#7114)
|
il y a 1 semaine |
|
import_impl_with_no_interface.carbon
|
fdb188ccfd
Implement unused pattern bindings, continued (#6518)
|
il y a 2 mois |
|
import_interface_assoc_const.carbon
|
554b1b8d10
Remove SymbolicBindingType (#7114)
|
il y a 1 semaine |
|
import_self.carbon
|
554b1b8d10
Remove SymbolicBindingType (#7114)
|
il y a 1 semaine |
|
import_self_specific.carbon
|
554b1b8d10
Remove SymbolicBindingType (#7114)
|
il y a 1 semaine |
|
import_thunk.carbon
|
9266ced4e3
Improve CanDestroyType to handle remaining cases (#6943)
|
il y a 1 mois |
|
import_use_generic.carbon
|
49c7288619
Restructure return declaration handling (#7076)
|
il y a 1 semaine |
|
incomplete.carbon
|
554b1b8d10
Remove SymbolicBindingType (#7114)
|
il y a 1 semaine |
|
interface_args.carbon
|
554b1b8d10
Remove SymbolicBindingType (#7114)
|
il y a 1 semaine |
|
multiple_extend.carbon
|
e0c6800ab3
Reverse nesting structure of parameter patterns (#6930)
|
il y a 1 mois |
|
name_lookup_in_impl_definition.carbon
|
d6be20641c
Use earlier `require` decls inside a named constraint to provide witnesses for `Self` (#6915)
|
il y a 1 mois |
|
name_poisoning.carbon
|
76cdbd8a5a
Introduce the `none.carbon` min-prelude (#5694)
|
il y a 10 mois |
|
no_definition_in_impl_file.carbon
|
cea52ad2d8
Format the InterfaceWithSelf and NamedConstraintWithSelf generic name with its ".WithSelf" suffix (#6798)
|
il y a 2 mois |
|
orphan.carbon
|
35d505a985
Check the orphan rule for impls (#6488)
|
il y a 4 mois |
|
redeclaration.carbon
|
cea52ad2d8
Format the InterfaceWithSelf and NamedConstraintWithSelf generic name with its ".WithSelf" suffix (#6798)
|
il y a 2 mois |
|
self_in_class.carbon
|
554b1b8d10
Remove SymbolicBindingType (#7114)
|
il y a 1 semaine |
|
self_in_signature.carbon
|
554b1b8d10
Remove SymbolicBindingType (#7114)
|
il y a 1 semaine |
|
todo_impl_with_unrelated_fn.carbon
|
cea52ad2d8
Format the InterfaceWithSelf and NamedConstraintWithSelf generic name with its ".WithSelf" suffix (#6798)
|
il y a 2 mois |
|
use_assoc_entity.carbon
|
554b1b8d10
Remove SymbolicBindingType (#7114)
|
il y a 1 semaine |
|
using_invalid_interface.carbon
|
18f87e4f79
Include the type in the location of binding insts (#6963)
|
il y a 1 mois |
Dana Jansens