Skip to content

Use nominal_obligations_without_const in wf for FnDef#104180

Merged
bors merged 1 commit intorust-lang:masterfrom
fee1-dead-contrib:fix-wf-fndef
Nov 9, 2022

Commits

Commits on Nov 9, 2022