Skip to content

avoid generalization inside of aliases#119106

Merged
bors merged 6 commits into
rust-lang:masterfrom
lcnr:decrement-universes
Feb 26, 2024
Merged

avoid generalization inside of aliases#119106
bors merged 6 commits into
rust-lang:masterfrom
lcnr:decrement-universes

consider placeholders in `fn term_is_fully_unconstrained`

3b3514a
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs