Skip to content

Remove unnecessary TypeFlags::NOMINAL_FLAGS#70915

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

Commits

Commits on Apr 8, 2020