Skip to content

Universes#55517

Merged
bors merged 30 commits into
rust-lang:masterfrom
nikomatsakis:universes
Jan 3, 2019
Merged

Universes#55517
bors merged 30 commits into
rust-lang:masterfrom
nikomatsakis:universes

rename `type_moves_by_default` to `type_is_copy_modulo_regions`

8e89184
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs