| .. |
|
lookup
|
93a8c5230c
Ensure a symbolic `final impl` has a definition produced (#6236)
|
пре 5 месеци |
|
assoc_const_self.carbon
|
5ae5170421
Allow deduction of tuple and struct literals as symbolic generic facet types (#6365)
|
пре 5 месеци |
|
basic.carbon
|
19a7fb08b7
Switch handling of errors in impls to not build a type structure (#5881)
|
пре 9 месеци |
|
compound.carbon
|
8779b8f64b
Replace pending generic logic with work stack-based logic (#6404)
|
пре 5 месеци |
|
declaration.carbon
|
ff0cea55f6
Add require decls to Interface and NamedConstraint (#6321)
|
пре 5 месеци |
|
empty.carbon
|
ff0cea55f6
Add require decls to Interface and NamedConstraint (#6321)
|
пре 5 месеци |
|
error_recovery.carbon
|
93a8c5230c
Ensure a symbolic `final impl` has a definition produced (#6236)
|
пре 5 месеци |
|
extend_final.carbon
|
9704dc670e
Change the Destroy blanket impls to be more specific (#6098)
|
пре 7 месеци |
|
extend_impl.carbon
|
55085de6aa
Use GetStructType when building object repr structs (#5923)
|
пре 9 месеци |
|
extend_impl_generic.carbon
|
2b8fdf3417
Switch the prelude to use `ref` instead of `addr` (#6359)
|
пре 5 месеци |
|
fail_alias.carbon
|
ff0cea55f6
Add require decls to Interface and NamedConstraint (#6321)
|
пре 5 месеци |
|
fail_call_invalid.carbon
|
ff0cea55f6
Add require decls to Interface and NamedConstraint (#6321)
|
пре 5 месеци |
|
fail_extend_impl_forall.carbon
|
ff0cea55f6
Add require decls to Interface and NamedConstraint (#6321)
|
пре 5 месеци |
|
fail_extend_impl_scope.carbon
|
2b8fdf3417
Switch the prelude to use `ref` instead of `addr` (#6359)
|
пре 5 месеци |
|
fail_extend_impl_type_as.carbon
|
ff0cea55f6
Add require decls to Interface and NamedConstraint (#6321)
|
пре 5 месеци |
|
fail_extend_non_interface.carbon
|
49ba8cf3e1
Switch class to use a blanket impl for `Destroy` (#6125)
|
пре 7 месеци |
|
fail_extend_partially_defined_interface.carbon
|
ff0cea55f6
Add require decls to Interface and NamedConstraint (#6321)
|
пре 5 месеци |
|
fail_extend_undefined_interface.carbon
|
09710d102f
Separate binding insts for refs and values (#6235)
|
пре 6 месеци |
|
fail_impl_as_scope.carbon
|
2b8fdf3417
Switch the prelude to use `ref` instead of `addr` (#6359)
|
пре 5 месеци |
|
fail_impl_bad_assoc_const.carbon
|
5ae5170421
Allow deduction of tuple and struct literals as symbolic generic facet types (#6365)
|
пре 5 месеци |
|
fail_impl_bad_assoc_fn.carbon
|
5ae5170421
Allow deduction of tuple and struct literals as symbolic generic facet types (#6365)
|
пре 5 месеци |
|
fail_impl_bad_interface.carbon
|
ff0cea55f6
Add require decls to Interface and NamedConstraint (#6321)
|
пре 5 месеци |
|
fail_impl_bad_type.carbon
|
ff0cea55f6
Add require decls to Interface and NamedConstraint (#6321)
|
пре 5 месеци |
|
fail_redefinition.carbon
|
ff0cea55f6
Add require decls to Interface and NamedConstraint (#6321)
|
пре 5 месеци |
|
fail_self_type_mismatch.carbon
|
ff0cea55f6
Add require decls to Interface and NamedConstraint (#6321)
|
пре 5 месеци |
|
forward_decls.carbon
|
5ae5170421
Allow deduction of tuple and struct literals as symbolic generic facet types (#6365)
|
пре 5 месеци |
|
generic_redeclaration.carbon
|
5ae5170421
Allow deduction of tuple and struct literals as symbolic generic facet types (#6365)
|
пре 5 месеци |
|
impl_as.carbon
|
2b8fdf3417
Switch the prelude to use `ref` instead of `addr` (#6359)
|
пре 5 месеци |
|
impl_as_named_constraint.carbon
|
25536cab67
Avoid a crash when the type of Self in an interface or constraint is an error (#6443)
|
пре 5 месеци |
|
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
|
5ae5170421
Allow deduction of tuple and struct literals as symbolic generic facet types (#6365)
|
пре 5 месеци |
|
impl_forall.carbon
|
ff0cea55f6
Add require decls to Interface and NamedConstraint (#6321)
|
пре 5 месеци |
|
impl_self_as.carbon
|
76cdbd8a5a
Introduce the `none.carbon` min-prelude (#5694)
|
пре 10 месеци |
|
impl_thunk.carbon
|
93a8c5230c
Ensure a symbolic `final impl` has a definition produced (#6236)
|
пре 5 месеци |
|
impl_thunk_min_prelude.carbon
|
0811d996e1
Finish renaming BindName and related insts. (#6281)
|
пре 6 месеци |
|
impl_where_redecl.carbon
|
76cdbd8a5a
Introduce the `none.carbon` min-prelude (#5694)
|
пре 10 месеци |
|
import_builtin_call.carbon
|
93a8c5230c
Ensure a symbolic `final impl` has a definition produced (#6236)
|
пре 5 месеци |
|
import_compound.carbon
|
5ae5170421
Allow deduction of tuple and struct literals as symbolic generic facet types (#6365)
|
пре 5 месеци |
|
import_extend_impl.carbon
|
ff0cea55f6
Add require decls to Interface and NamedConstraint (#6321)
|
пре 5 месеци |
|
import_generic.carbon
|
6a60b80508
Remove the FacetTypeId in RequireImpls (#6437)
|
пре 5 месеци |
|
import_impl_with_no_interface.carbon
|
76cdbd8a5a
Introduce the `none.carbon` min-prelude (#5694)
|
пре 10 месеци |
|
import_interface_assoc_const.carbon
|
5ae5170421
Allow deduction of tuple and struct literals as symbolic generic facet types (#6365)
|
пре 5 месеци |
|
import_self.carbon
|
5ae5170421
Allow deduction of tuple and struct literals as symbolic generic facet types (#6365)
|
пре 5 месеци |
|
import_self_specific.carbon
|
93a8c5230c
Ensure a symbolic `final impl` has a definition produced (#6236)
|
пре 5 месеци |
|
import_thunk.carbon
|
93a8c5230c
Ensure a symbolic `final impl` has a definition produced (#6236)
|
пре 5 месеци |
|
import_use_generic.carbon
|
167b45ca35
Rewrite pending specifics to use the work stack (#6415)
|
пре 5 месеци |
|
incomplete.carbon
|
6a60b80508
Remove the FacetTypeId in RequireImpls (#6437)
|
пре 5 месеци |
|
interface_args.carbon
|
167b45ca35
Rewrite pending specifics to use the work stack (#6415)
|
пре 5 месеци |
|
multiple_extend.carbon
|
ff0cea55f6
Add require decls to Interface and NamedConstraint (#6321)
|
пре 5 месеци |
|
name_poisoning.carbon
|
76cdbd8a5a
Introduce the `none.carbon` min-prelude (#5694)
|
пре 10 месеци |
|
no_definition_in_impl_file.carbon
|
5ae5170421
Allow deduction of tuple and struct literals as symbolic generic facet types (#6365)
|
пре 5 месеци |
|
redeclaration.carbon
|
ff0cea55f6
Add require decls to Interface and NamedConstraint (#6321)
|
пре 5 месеци |
|
self_in_class.carbon
|
5ae5170421
Allow deduction of tuple and struct literals as symbolic generic facet types (#6365)
|
пре 5 месеци |
|
self_in_signature.carbon
|
5ae5170421
Allow deduction of tuple and struct literals as symbolic generic facet types (#6365)
|
пре 5 месеци |
|
todo_impl_with_unrelated_fn.carbon
|
ff0cea55f6
Add require decls to Interface and NamedConstraint (#6321)
|
пре 5 месеци |
|
use_assoc_entity.carbon
|
0baa74d96f
Type completeness in extend (#6395)
|
пре 5 месеци |
|
using_invalid_interface.carbon
|
81c2b3be1a
Handle some more errors in interfaces without crashing. (#6155)
|
пре 7 месеци |
Dana Jansens