Skip to content

Implement a feature for a sound specialization subset#68970

Merged
bors merged 6 commits into
rust-lang:masterfrom
matthewjasper:min-spec
Mar 17, 2020
Merged

Implement a feature for a sound specialization subset#68970
bors merged 6 commits into
rust-lang:masterfrom
matthewjasper:min-spec

Consider well-formed predicates in min-specialization

39ee66a
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs