| .. |
|
lookup
|
6985ecb1d4
Replace GetCurrentReturnSlot with GetReturnedVarParam (#6571)
|
3 місяців тому |
|
assoc_const_self.carbon
|
6985ecb1d4
Replace GetCurrentReturnSlot with GetReturnedVarParam (#6571)
|
3 місяців тому |
|
basic.carbon
|
7c1798d96d
Format impl witness instructions as part of the impl (#6485)
|
4 місяців тому |
|
compound.carbon
|
505b1c86b9
Initial support for return forms (#6556)
|
3 місяців тому |
|
declaration.carbon
|
7c1798d96d
Format impl witness instructions as part of the impl (#6485)
|
4 місяців тому |
|
empty.carbon
|
7c1798d96d
Format impl witness instructions as part of the impl (#6485)
|
4 місяців тому |
|
error_recovery.carbon
|
c5eba90317
Change `Destroy` to use a `CustomWitness` instead of a blanket impl (#6512)
|
4 місяців тому |
|
extend_final.carbon
|
14998d6045
Consolidate error handling behaviour for `ApplyExtendImplAs` (Refactor Impl construction 4/7) (#6468)
|
4 місяців тому |
|
extend_impl.carbon
|
7c1798d96d
Format impl witness instructions as part of the impl (#6485)
|
4 місяців тому |
|
extend_impl_generic.carbon
|
6985ecb1d4
Replace GetCurrentReturnSlot with GetReturnedVarParam (#6571)
|
3 місяців тому |
|
fail_alias.carbon
|
c5eba90317
Change `Destroy` to use a `CustomWitness` instead of a blanket impl (#6512)
|
4 місяців тому |
|
fail_call_invalid.carbon
|
c5eba90317
Change `Destroy` to use a `CustomWitness` instead of a blanket impl (#6512)
|
4 місяців тому |
|
fail_extend_impl_forall.carbon
|
c5eba90317
Change `Destroy` to use a `CustomWitness` instead of a blanket impl (#6512)
|
4 місяців тому |
|
fail_extend_impl_scope.carbon
|
c5eba90317
Change `Destroy` to use a `CustomWitness` instead of a blanket impl (#6512)
|
4 місяців тому |
|
fail_extend_impl_type_as.carbon
|
c5eba90317
Change `Destroy` to use a `CustomWitness` instead of a blanket impl (#6512)
|
4 місяців тому |
|
fail_extend_non_interface.carbon
|
14998d6045
Consolidate error handling behaviour for `ApplyExtendImplAs` (Refactor Impl construction 4/7) (#6468)
|
4 місяців тому |
|
fail_extend_partially_defined_interface.carbon
|
7c1798d96d
Format impl witness instructions as part of the impl (#6485)
|
4 місяців тому |
|
fail_extend_undefined_interface.carbon
|
7c1798d96d
Format impl witness instructions as part of the impl (#6485)
|
4 місяців тому |
|
fail_impl_as_scope.carbon
|
c5eba90317
Change `Destroy` to use a `CustomWitness` instead of a blanket impl (#6512)
|
4 місяців тому |
|
fail_impl_bad_assoc_const.carbon
|
7c1798d96d
Format impl witness instructions as part of the impl (#6485)
|
4 місяців тому |
|
fail_impl_bad_assoc_fn.carbon
|
6985ecb1d4
Replace GetCurrentReturnSlot with GetReturnedVarParam (#6571)
|
3 місяців тому |
|
fail_impl_bad_interface.carbon
|
ff0cea55f6
Add require decls to Interface and NamedConstraint (#6321)
|
5 місяців тому |
|
fail_impl_bad_type.carbon
|
c5eba90317
Change `Destroy` to use a `CustomWitness` instead of a blanket impl (#6512)
|
4 місяців тому |
|
fail_redefinition.carbon
|
c5eba90317
Change `Destroy` to use a `CustomWitness` instead of a blanket impl (#6512)
|
4 місяців тому |
|
fail_self_type_mismatch.carbon
|
c5eba90317
Change `Destroy` to use a `CustomWitness` instead of a blanket impl (#6512)
|
4 місяців тому |
|
forward_decls.carbon
|
c5eba90317
Change `Destroy` to use a `CustomWitness` instead of a blanket impl (#6512)
|
4 місяців тому |
|
generic_redeclaration.carbon
|
6985ecb1d4
Replace GetCurrentReturnSlot with GetReturnedVarParam (#6571)
|
3 місяців тому |
|
impl_as.carbon
|
c5eba90317
Change `Destroy` to use a `CustomWitness` instead of a blanket impl (#6512)
|
4 місяців тому |
|
impl_as_named_constraint.carbon
|
3c8417947b
Propagate errors in `extend require` up to the containing scope (#6480)
|
4 місяців тому |
|
impl_assoc_const.carbon
|
5ae5170421
Allow deduction of tuple and struct literals as symbolic generic facet types (#6365)
|
5 місяців тому |
|
impl_assoc_const_with_prelude.carbon
|
c5eba90317
Change `Destroy` to use a `CustomWitness` instead of a blanket impl (#6512)
|
4 місяців тому |
|
impl_forall.carbon
|
7c1798d96d
Format impl witness instructions as part of the impl (#6485)
|
4 місяців тому |
|
impl_self_as.carbon
|
76cdbd8a5a
Introduce the `none.carbon` min-prelude (#5694)
|
10 місяців тому |
|
impl_thunk.carbon
|
6985ecb1d4
Replace GetCurrentReturnSlot with GetReturnedVarParam (#6571)
|
3 місяців тому |
|
impl_thunk_min_prelude.carbon
|
c5eba90317
Change `Destroy` to use a `CustomWitness` instead of a blanket impl (#6512)
|
4 місяців тому |
|
impl_where_redecl.carbon
|
76cdbd8a5a
Introduce the `none.carbon` min-prelude (#5694)
|
10 місяців тому |
|
import_builtin_call.carbon
|
6985ecb1d4
Replace GetCurrentReturnSlot with GetReturnedVarParam (#6571)
|
3 місяців тому |
|
import_canonical_witnesses.carbon
|
103c49a763
Canonicalize imported witness blocks on FacetValue (#6458)
|
5 місяців тому |
|
import_compound.carbon
|
c5eba90317
Change `Destroy` to use a `CustomWitness` instead of a blanket impl (#6512)
|
4 місяців тому |
|
import_extend_impl.carbon
|
c5eba90317
Change `Destroy` to use a `CustomWitness` instead of a blanket impl (#6512)
|
4 місяців тому |
|
import_generic.carbon
|
3a7c44c5c4
Check required implementations when an enclosing interface is implemented (#6522)
|
3 місяців тому |
|
import_impl_with_no_interface.carbon
|
76cdbd8a5a
Introduce the `none.carbon` min-prelude (#5694)
|
10 місяців тому |
|
import_interface_assoc_const.carbon
|
c5eba90317
Change `Destroy` to use a `CustomWitness` instead of a blanket impl (#6512)
|
4 місяців тому |
|
import_self.carbon
|
6985ecb1d4
Replace GetCurrentReturnSlot with GetReturnedVarParam (#6571)
|
3 місяців тому |
|
import_self_specific.carbon
|
c5eba90317
Change `Destroy` to use a `CustomWitness` instead of a blanket impl (#6512)
|
4 місяців тому |
|
import_thunk.carbon
|
c5eba90317
Change `Destroy` to use a `CustomWitness` instead of a blanket impl (#6512)
|
4 місяців тому |
|
import_use_generic.carbon
|
505b1c86b9
Initial support for return forms (#6556)
|
3 місяців тому |
|
incomplete.carbon
|
3a7c44c5c4
Check required implementations when an enclosing interface is implemented (#6522)
|
3 місяців тому |
|
interface_args.carbon
|
6985ecb1d4
Replace GetCurrentReturnSlot with GetReturnedVarParam (#6571)
|
3 місяців тому |
|
multiple_extend.carbon
|
c5eba90317
Change `Destroy` to use a `CustomWitness` instead of a blanket impl (#6512)
|
4 місяців тому |
|
name_poisoning.carbon
|
76cdbd8a5a
Introduce the `none.carbon` min-prelude (#5694)
|
10 місяців тому |
|
no_definition_in_impl_file.carbon
|
c5eba90317
Change `Destroy` to use a `CustomWitness` instead of a blanket impl (#6512)
|
4 місяців тому |
|
orphan.carbon
|
35d505a985
Check the orphan rule for impls (#6488)
|
4 місяців тому |
|
redeclaration.carbon
|
7c1798d96d
Format impl witness instructions as part of the impl (#6485)
|
4 місяців тому |
|
self_in_class.carbon
|
6985ecb1d4
Replace GetCurrentReturnSlot with GetReturnedVarParam (#6571)
|
3 місяців тому |
|
self_in_signature.carbon
|
6985ecb1d4
Replace GetCurrentReturnSlot with GetReturnedVarParam (#6571)
|
3 місяців тому |
|
todo_impl_with_unrelated_fn.carbon
|
7c1798d96d
Format impl witness instructions as part of the impl (#6485)
|
4 місяців тому |
|
use_assoc_entity.carbon
|
6985ecb1d4
Replace GetCurrentReturnSlot with GetReturnedVarParam (#6571)
|
3 місяців тому |
|
using_invalid_interface.carbon
|
81c2b3be1a
Handle some more errors in interfaces without crashing. (#6155)
|
7 місяців тому |
Geoff Romer