Skip to content

Don't subst an AdtDef with its own substs#96882

Merged
bors merged 1 commit intorust-lang:masterfrom
jackh726:no-subst
May 10, 2022

Commits

Commits on May 9, 2022