| .. |
|
lookup
|
1c885a629e
Format FormType as "Core.Form" (#6734)
|
преди 2 месеца |
|
assoc_const_self.carbon
|
1c885a629e
Format FormType as "Core.Form" (#6734)
|
преди 2 месеца |
|
basic.carbon
|
7c1798d96d
Format impl witness instructions as part of the impl (#6485)
|
преди 4 месеца |
|
compound.carbon
|
1c885a629e
Format FormType as "Core.Form" (#6734)
|
преди 2 месеца |
|
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
|
7938d9a8d0
Lex/parse support for ->?, :?, and form literals (#6695)
|
преди 2 месеца |
|
eval_musteval.carbon
|
1b2ae912fc
Add basic support for `eval fn` and `musteval fn`. (#6694)
|
преди 2 месеца |
|
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
|
1c885a629e
Format FormType as "Core.Form" (#6734)
|
преди 2 месеца |
|
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
|
4329a83e4c
Form-aware textual format for return parameters and arguments (#6588)
|
преди 3 месеца |
|
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
|
4329a83e4c
Form-aware textual format for return parameters and arguments (#6588)
|
преди 3 месеца |
|
fail_impl_bad_assoc_const.carbon
|
7c1798d96d
Format impl witness instructions as part of the impl (#6485)
|
преди 4 месеца |
|
fail_impl_bad_assoc_fn.carbon
|
1c885a629e
Format FormType as "Core.Form" (#6734)
|
преди 2 месеца |
|
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
|
ee77aa4b67
Member access into a facet is not a "lookup in type of base" (#6631)
|
преди 3 месеца |
|
generic_redeclaration.carbon
|
1c885a629e
Format FormType as "Core.Form" (#6734)
|
преди 2 месеца |
|
impl_as.carbon
|
4329a83e4c
Form-aware textual format for return parameters and arguments (#6588)
|
преди 3 месеца |
|
impl_as_named_constraint.carbon
|
3c8417947b
Propagate errors in `extend require` up to the containing scope (#6480)
|
преди 4 месеца |
|
impl_assoc_const.carbon
|
ee77aa4b67
Member access into a facet is not a "lookup in type of base" (#6631)
|
преди 3 месеца |
|
impl_assoc_const_with_prelude.carbon
|
ee77aa4b67
Member access into a facet is not a "lookup in type of base" (#6631)
|
преди 3 месеца |
|
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
|
1c885a629e
Format FormType as "Core.Form" (#6734)
|
преди 2 месеца |
|
impl_thunk_min_prelude.carbon
|
4329a83e4c
Form-aware textual format for return parameters and arguments (#6588)
|
преди 3 месеца |
|
impl_where_redecl.carbon
|
76cdbd8a5a
Introduce the `none.carbon` min-prelude (#5694)
|
преди 10 месеца |
|
import_builtin_call.carbon
|
1c885a629e
Format FormType as "Core.Form" (#6734)
|
преди 2 месеца |
|
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
|
7f7186c227
Extended name lookup replaces inner Self (#6632)
|
преди 3 месеца |
|
import_impl_with_no_interface.carbon
|
76cdbd8a5a
Introduce the `none.carbon` min-prelude (#5694)
|
преди 10 месеца |
|
import_interface_assoc_const.carbon
|
bdcac5087d
Allow incomplete types in associated constants (#6657)
|
преди 3 месеца |
|
import_self.carbon
|
1c885a629e
Format FormType as "Core.Form" (#6734)
|
преди 2 месеца |
|
import_self_specific.carbon
|
ee77aa4b67
Member access into a facet is not a "lookup in type of base" (#6631)
|
преди 3 месеца |
|
import_thunk.carbon
|
74969cab04
Generate non-final Destroy witnesses for symbolics (#6731)
|
преди 2 месеца |
|
import_use_generic.carbon
|
4329a83e4c
Form-aware textual format for return parameters and arguments (#6588)
|
преди 3 месеца |
|
incomplete.carbon
|
ee77aa4b67
Member access into a facet is not a "lookup in type of base" (#6631)
|
преди 3 месеца |
|
interface_args.carbon
|
1c885a629e
Format FormType as "Core.Form" (#6734)
|
преди 2 месеца |
|
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
|
1c885a629e
Format FormType as "Core.Form" (#6734)
|
преди 2 месеца |
|
self_in_signature.carbon
|
1c885a629e
Format FormType as "Core.Form" (#6734)
|
преди 2 месеца |
|
todo_impl_with_unrelated_fn.carbon
|
7c1798d96d
Format impl witness instructions as part of the impl (#6485)
|
преди 4 месеца |
|
use_assoc_entity.carbon
|
1c885a629e
Format FormType as "Core.Form" (#6734)
|
преди 2 месеца |
|
using_invalid_interface.carbon
|
81c2b3be1a
Handle some more errors in interfaces without crashing. (#6155)
|
преди 7 месеца |
Geoff Romer