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