Skip to content

Fix doc comment for ConstParamTy derive#111715

Merged
bors merged 1 commit intorust-lang:masterfrom
juntyr:const-param-ty-derive-fix
May 20, 2023
Merged

Fix doc comment for `ConstParamTy` derive#111715
bors merged 1 commit intorust-lang:masterfrom
juntyr:const-param-ty-derive-fix

Commits

Commits on May 18, 2023