Skip to content

Migrate Vec<ParameterKinds<()>> and Vec<ParameterKinds<UniverseIndex>> to interned#386

Merged
nikomatsakis merged 8 commits intorust-lang:masterfrom
crlf0710:master
Apr 17, 2020
Merged

Migrate `Vec<ParameterKinds<()>>` and `Vec<ParameterKinds<UniverseIndex>>` to interned#386
nikomatsakis merged 8 commits intorust-lang:masterfrom
crlf0710:master

Commits

Commits on Apr 17, 2020