josh11bandJosh L 5966fbc758 Get impl witnesses from facets cast to type (#5115) ...

Addresses a TODO in `impl_lookup.cpp`.

Co-authored-by: Josh L <josh11b@users.noreply.github.com>

2025-03-12 20:55:07 +00:00

..

lookup

Associated constants can be used in member function signatures (#5089)

2025-03-12 00:33:46 +00:00

no_prelude

Associated constants can be used in member function signatures (#5089)

2025-03-12 00:33:46 +00:00

assoc_const_self.carbon

Return a set of ImplWitnesses from impl lookup (#5075)

2025-03-10 16:00:35 +00:00

declaration.carbon

Rename template constant -> concrete constant. (#4939)

2025-02-12 21:24:51 +00:00

empty.carbon

Rename template constant -> concrete constant. (#4939)

2025-02-12 21:24:51 +00:00

extend_impl_generic.carbon

Return a set of ImplWitnesses from impl lookup (#5075)

2025-03-10 16:00:35 +00:00

extend_impl.carbon

Return a set of ImplWitnesses from impl lookup (#5075)

2025-03-10 16:00:35 +00:00

fail_call_invalid.carbon

Return a set of ImplWitnesses from impl lookup (#5075)

2025-03-10 16:00:35 +00:00

fail_extend_impl_forall.carbon

Update text representation of CallParamIndex to match new name (#5067)

2025-03-04 23:28:42 +00:00

fail_extend_impl_type_as.carbon

Fingerprint impl blocks in semir (#5021)

2025-02-26 22:47:57 +00:00

fail_extend_non_interface.carbon

Rename template constant -> concrete constant. (#4939)

2025-02-12 21:24:51 +00:00

fail_extend_partially_defined_interface.carbon

Completing a type no longer ignores facet types (#5004)

2025-02-22 21:40:43 +00:00

fail_extend_undefined_interface.carbon

Update text representation of CallParamIndex to match new name (#5067)

2025-03-04 23:28:42 +00:00

fail_impl_as_scope.carbon

Allow checking to continue after 'impl as' outside class (#4937)

2025-02-14 20:02:10 +00:00

fail_impl_bad_assoc_fn.carbon

Return a set of ImplWitnesses from impl lookup (#5075)

2025-03-10 16:00:35 +00:00

fail_impl_bad_interface.carbon

Clarify conversion diagnostic (#5052)

2025-03-03 22:09:48 +00:00

fail_redefinition.carbon

Fingerprint impl blocks in semir (#5021)

2025-02-26 22:47:57 +00:00

fail_self_type_mismatch.carbon

Associated constants can be used in member function signatures (#5089)

2025-03-12 00:33:46 +00:00

impl_as.carbon

Return a set of ImplWitnesses from impl lookup (#5075)

2025-03-10 16:00:35 +00:00

impl_forall.carbon

Return a set of ImplWitnesses from impl lookup (#5075)

2025-03-10 16:00:35 +00:00

multiple_extend.carbon

Return a set of ImplWitnesses from impl lookup (#5075)

2025-03-10 16:00:35 +00:00

redeclaration.carbon

Add poisoned names to the format (#4961)

2025-02-14 19:18:51 +00:00

use_assoc_const.carbon

Get impl witnesses from facets cast to type (#5115)

2025-03-12 20:55:07 +00:00