use semantic equality for const param type equality assertion #107940

Merged

bors merged 2 commits intorust-lang:masterfrom BoxyUwU:const_ty_assertion_use_semantic_equality

Feb 15, 2023

+240-22

Commits on Feb 11, 2023

make relate's const ty assertion use semantic equality
BoxyUwU
committed

Commits on Feb 12, 2023

rename query and use NoSolution
BoxyUwU
committed