Skip to content

rename NEEDS_SUBST and NEEDS_INFER#110882

Merged
bors merged 2 commits intorust-lang:masterfrom
BoxyUwU:rename-some-ty-flags
Apr 27, 2023
Merged

rename `NEEDS_SUBST` and `NEEDS_INFER`#110882
bors merged 2 commits intorust-lang:masterfrom
BoxyUwU:rename-some-ty-flags

Commits

Commits on Apr 27, 2023