Skip to content

ConstParamTy: require Eq as supertrait#116125

Merged
bors merged 2 commits intorust-lang:masterfrom RalfJung:const-param-ty-eqSep 26, 2023

Commits

Commits on Sep 24, 2023