Skip to content

Remove unnecessary TypeFlags::NOMINAL_FLAGS#70915

Merged
bors merged 1 commit intorust-lang:masterfrom tsandstr:remove-nominal-flagsApr 8, 2020

Commits

Commits on Apr 8, 2020