Also resolve the type of constants, even if we already turned it into an error constant#125807

Merged

bors merged 2 commits intorust-lang:masterfrom

oli-obk:resolve_const_types

May 31, 2024

Commits on May 31, 2024

Also resolve the type of constants, even if we already turned it into an error constant
oli-obk
committed
Check that we can constrain the hidden tpye of a TAIT used in a const generic type
oli-obk
committed