| .. |
|
custom_witness
|
c297344937
Support conversion between integer types. (#6856)
|
1 month ago |
|
lookup
|
9266ced4e3
Improve CanDestroyType to handle remaining cases (#6943)
|
1 month ago |
|
assoc_const_self.carbon
|
18f87e4f79
Include the type in the location of binding insts (#6963)
|
1 month ago |
|
basic.carbon
|
fdb188ccfd
Implement unused pattern bindings, continued (#6518)
|
2 months ago |
|
compound.carbon
|
18f87e4f79
Include the type in the location of binding insts (#6963)
|
1 month ago |
|
declaration.carbon
|
cea52ad2d8
Format the InterfaceWithSelf and NamedConstraintWithSelf generic name with its ".WithSelf" suffix (#6798)
|
2 months ago |
|
empty.carbon
|
cea52ad2d8
Format the InterfaceWithSelf and NamedConstraintWithSelf generic name with its ".WithSelf" suffix (#6798)
|
2 months ago |
|
error_recovery.carbon
|
181a592b8c
Support for parsing expression patterns (#6977)
|
1 month ago |
|
eval_musteval.carbon
|
fdb188ccfd
Implement unused pattern bindings, continued (#6518)
|
2 months ago |
|
extend_final.carbon
|
fdb188ccfd
Implement unused pattern bindings, continued (#6518)
|
2 months ago |
|
extend_impl.carbon
|
7c1798d96d
Format impl witness instructions as part of the impl (#6485)
|
4 months ago |
|
extend_impl_generic.carbon
|
9266ced4e3
Improve CanDestroyType to handle remaining cases (#6943)
|
1 month ago |
|
fail_alias.carbon
|
cea52ad2d8
Format the InterfaceWithSelf and NamedConstraintWithSelf generic name with its ".WithSelf" suffix (#6798)
|
2 months ago |
|
fail_call_invalid.carbon
|
262e24a2a0
Remove indirection through `NameRef`s when building a thunk call (#6965)
|
1 month ago |
|
fail_extend_impl_forall.carbon
|
18f87e4f79
Include the type in the location of binding insts (#6963)
|
1 month ago |
|
fail_extend_impl_scope.carbon
|
9266ced4e3
Improve CanDestroyType to handle remaining cases (#6943)
|
1 month ago |
|
fail_extend_impl_type_as.carbon
|
cea52ad2d8
Format the InterfaceWithSelf and NamedConstraintWithSelf generic name with its ".WithSelf" suffix (#6798)
|
2 months ago |
|
fail_extend_non_interface.carbon
|
f9ab963bd6
Add a `type_literal` instruction to represent syntactic type literals. (#6781)
|
2 months ago |
|
fail_extend_partially_defined_interface.carbon
|
cea52ad2d8
Format the InterfaceWithSelf and NamedConstraintWithSelf generic name with its ".WithSelf" suffix (#6798)
|
2 months ago |
|
fail_extend_undefined_interface.carbon
|
e0c6800ab3
Reverse nesting structure of parameter patterns (#6930)
|
1 month ago |
|
fail_impl_as_scope.carbon
|
9266ced4e3
Improve CanDestroyType to handle remaining cases (#6943)
|
1 month ago |
|
fail_impl_bad_assoc_const.carbon
|
cea52ad2d8
Format the InterfaceWithSelf and NamedConstraintWithSelf generic name with its ".WithSelf" suffix (#6798)
|
2 months ago |
|
fail_impl_bad_assoc_fn.carbon
|
262e24a2a0
Remove indirection through `NameRef`s when building a thunk call (#6965)
|
1 month ago |
|
fail_impl_bad_interface.carbon
|
cea52ad2d8
Format the InterfaceWithSelf and NamedConstraintWithSelf generic name with its ".WithSelf" suffix (#6798)
|
2 months ago |
|
fail_impl_bad_type.carbon
|
cea52ad2d8
Format the InterfaceWithSelf and NamedConstraintWithSelf generic name with its ".WithSelf" suffix (#6798)
|
2 months ago |
|
fail_redefinition.carbon
|
cea52ad2d8
Format the InterfaceWithSelf and NamedConstraintWithSelf generic name with its ".WithSelf" suffix (#6798)
|
2 months ago |
|
fail_self_type_mismatch.carbon
|
262e24a2a0
Remove indirection through `NameRef`s when building a thunk call (#6965)
|
1 month ago |
|
fail_todo_form_thunk.carbon
|
18f87e4f79
Include the type in the location of binding insts (#6963)
|
1 month ago |
|
forward_decls.carbon
|
18f87e4f79
Include the type in the location of binding insts (#6963)
|
1 month ago |
|
generic_redeclaration.carbon
|
18f87e4f79
Include the type in the location of binding insts (#6963)
|
1 month ago |
|
impl_as.carbon
|
9266ced4e3
Improve CanDestroyType to handle remaining cases (#6943)
|
1 month ago |
|
impl_as_named_constraint.carbon
|
cea52ad2d8
Format the InterfaceWithSelf and NamedConstraintWithSelf generic name with its ".WithSelf" suffix (#6798)
|
2 months ago |
|
impl_assoc_const.carbon
|
cea52ad2d8
Format the InterfaceWithSelf and NamedConstraintWithSelf generic name with its ".WithSelf" suffix (#6798)
|
2 months ago |
|
impl_assoc_const_with_prelude.carbon
|
cea52ad2d8
Format the InterfaceWithSelf and NamedConstraintWithSelf generic name with its ".WithSelf" suffix (#6798)
|
2 months ago |
|
impl_forall.carbon
|
18f87e4f79
Include the type in the location of binding insts (#6963)
|
1 month ago |
|
impl_self_as.carbon
|
76cdbd8a5a
Introduce the `none.carbon` min-prelude (#5694)
|
10 months ago |
|
impl_thunk.carbon
|
8e0d856725
Improve `InPlaceInitializing` conversion. (#7021)
|
4 weeks ago |
|
impl_thunk_min_prelude.carbon
|
ba6257891e
Remove ValueParamPattern case from deduction (#6869)
|
1 month ago |
|
impl_where_redecl.carbon
|
76cdbd8a5a
Introduce the `none.carbon` min-prelude (#5694)
|
10 months ago |
|
import_builtin_call.carbon
|
a0416a1250
Don't finish the non-canonical instruction created in EvalOrAddInst (#6972)
|
1 month ago |
|
import_canonical_witnesses.carbon
|
fdb188ccfd
Implement unused pattern bindings, continued (#6518)
|
2 months ago |
|
import_compound.carbon
|
e0c6800ab3
Reverse nesting structure of parameter patterns (#6930)
|
1 month ago |
|
import_extend_impl.carbon
|
e0c6800ab3
Reverse nesting structure of parameter patterns (#6930)
|
1 month ago |
|
import_generic.carbon
|
18f87e4f79
Include the type in the location of binding insts (#6963)
|
1 month ago |
|
import_impl_with_no_interface.carbon
|
fdb188ccfd
Implement unused pattern bindings, continued (#6518)
|
2 months ago |
|
import_interface_assoc_const.carbon
|
cea52ad2d8
Format the InterfaceWithSelf and NamedConstraintWithSelf generic name with its ".WithSelf" suffix (#6798)
|
2 months ago |
|
import_self.carbon
|
e0c6800ab3
Reverse nesting structure of parameter patterns (#6930)
|
1 month ago |
|
import_self_specific.carbon
|
a0416a1250
Don't finish the non-canonical instruction created in EvalOrAddInst (#6972)
|
1 month ago |
|
import_thunk.carbon
|
9266ced4e3
Improve CanDestroyType to handle remaining cases (#6943)
|
1 month ago |
|
import_use_generic.carbon
|
18f87e4f79
Include the type in the location of binding insts (#6963)
|
1 month ago |
|
incomplete.carbon
|
18f87e4f79
Include the type in the location of binding insts (#6963)
|
1 month ago |
|
interface_args.carbon
|
18f87e4f79
Include the type in the location of binding insts (#6963)
|
1 month ago |
|
multiple_extend.carbon
|
e0c6800ab3
Reverse nesting structure of parameter patterns (#6930)
|
1 month ago |
|
name_lookup_in_impl_definition.carbon
|
d6be20641c
Use earlier `require` decls inside a named constraint to provide witnesses for `Self` (#6915)
|
1 month ago |
|
name_poisoning.carbon
|
76cdbd8a5a
Introduce the `none.carbon` min-prelude (#5694)
|
10 months ago |
|
no_definition_in_impl_file.carbon
|
cea52ad2d8
Format the InterfaceWithSelf and NamedConstraintWithSelf generic name with its ".WithSelf" suffix (#6798)
|
2 months ago |
|
orphan.carbon
|
35d505a985
Check the orphan rule for impls (#6488)
|
4 months ago |
|
redeclaration.carbon
|
cea52ad2d8
Format the InterfaceWithSelf and NamedConstraintWithSelf generic name with its ".WithSelf" suffix (#6798)
|
2 months ago |
|
self_in_class.carbon
|
e0c6800ab3
Reverse nesting structure of parameter patterns (#6930)
|
1 month ago |
|
self_in_signature.carbon
|
e0c6800ab3
Reverse nesting structure of parameter patterns (#6930)
|
1 month ago |
|
todo_impl_with_unrelated_fn.carbon
|
cea52ad2d8
Format the InterfaceWithSelf and NamedConstraintWithSelf generic name with its ".WithSelf" suffix (#6798)
|
2 months ago |
|
use_assoc_entity.carbon
|
9266ced4e3
Improve CanDestroyType to handle remaining cases (#6943)
|
1 month ago |
|
using_invalid_interface.carbon
|
18f87e4f79
Include the type in the location of binding insts (#6963)
|
1 month ago |
Richard Smith