| .. |
|
lookup
|
53c98a8619
Support specialization in impl lookup with a symbolic query/impl. (#5169)
|
1 an în urmă |
|
no_prelude
|
53c98a8619
Support specialization in impl lookup with a symbolic query/impl. (#5169)
|
1 an în urmă |
|
assoc_const_self.carbon
|
e25f58adec
Rebuild the type of a `bind_symbolic_name` when building an eval block (#5174)
|
1 an în urmă |
|
declaration.carbon
|
c6d35e1c4a
Rename template constant -> concrete constant. (#4939)
|
1 an în urmă |
|
empty.carbon
|
c6d35e1c4a
Rename template constant -> concrete constant. (#4939)
|
1 an în urmă |
|
extend_impl.carbon
|
4539114c21
Return a set of ImplWitnesses from impl lookup (#5075)
|
1 an în urmă |
|
extend_impl_generic.carbon
|
e25f58adec
Rebuild the type of a `bind_symbolic_name` when building an eval block (#5174)
|
1 an în urmă |
|
fail_call_invalid.carbon
|
4539114c21
Return a set of ImplWitnesses from impl lookup (#5075)
|
1 an în urmă |
|
fail_extend_impl_forall.carbon
|
e25f58adec
Rebuild the type of a `bind_symbolic_name` when building an eval block (#5174)
|
1 an în urmă |
|
fail_extend_impl_type_as.carbon
|
0beda27192
Fingerprint `impl` blocks in semir (#5021)
|
1 an în urmă |
|
fail_extend_non_interface.carbon
|
c6d35e1c4a
Rename template constant -> concrete constant. (#4939)
|
1 an în urmă |
|
fail_extend_partially_defined_interface.carbon
|
3ebd098597
Completing a type no longer ignores facet types (#5004)
|
1 an în urmă |
|
fail_extend_undefined_interface.carbon
|
f08e046d9e
Update text representation of CallParamIndex to match new name (#5067)
|
1 an în urmă |
|
fail_impl_as_scope.carbon
|
d5f3d3365a
Allow checking to continue after 'impl as' outside class (#4937)
|
1 an în urmă |
|
fail_impl_bad_assoc_fn.carbon
|
4539114c21
Return a set of ImplWitnesses from impl lookup (#5075)
|
1 an în urmă |
|
fail_impl_bad_interface.carbon
|
417b3833e2
Produce helpful diagnostics when converting to a facet fails (#5109)
|
1 an în urmă |
|
fail_redefinition.carbon
|
0beda27192
Fingerprint `impl` blocks in semir (#5021)
|
1 an în urmă |
|
fail_self_type_mismatch.carbon
|
e25f58adec
Rebuild the type of a `bind_symbolic_name` when building an eval block (#5174)
|
1 an în urmă |
|
impl_as.carbon
|
4539114c21
Return a set of ImplWitnesses from impl lookup (#5075)
|
1 an în urmă |
|
impl_forall.carbon
|
4539114c21
Return a set of ImplWitnesses from impl lookup (#5075)
|
1 an în urmă |
|
multiple_extend.carbon
|
4539114c21
Return a set of ImplWitnesses from impl lookup (#5075)
|
1 an în urmă |
|
redeclaration.carbon
|
986a2a064c
Add poisoned names to the format (#4961)
|
1 an în urmă |
|
use_assoc_const.carbon
|
4d2cca48c7
Compute a correct `SpecificFunction` when resolving an indirect call to an impl function (#5116)
|
1 an în urmă |