Skip to content

ConstParamTy: require Eq as supertrait#116125

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

Commits

Commits on Sep 24, 2023