Skip to content

Normalize opaque alias type#116378

Closed
ouz-a wants to merge 2 commits into
rust-lang:masterfrom
ouz-a:validate_alias2
Closed

Normalize opaque alias type#116378
ouz-a wants to merge 2 commits into
rust-lang:masterfrom
ouz-a:validate_alias2

use normalize_erasing_regions and fix other issue

85c61f9
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs