Preliminary work for opt-in builtin types#17466

Merged

bors merged 10 commits intorust-lang:masterfrom

nikomatsakis:oibt

Sep 25, 2014

Commits on Sep 25, 2014

Integrate builtin bounds fully into the trait checker
nikomatsakis
committed
Integrate caching of results. Measurements show approx 90% hit rate.
nikomatsakis
committed
Move unsafe destructor check from kind.rs into wf.rs
nikomatsakis
committed
Remove checks that are already being done during typeck
nikomatsakis
committed
Remove redundant local variable checks.
nikomatsakis
committed
Move checks for closure bounds out of kind.rs
nikomatsakis
committed
Remove the last redundant check from kindck, and then remove the pass as well.
nikomatsakis
committed
Move checking of whether fields are Sized or not into wf / trait code.
nikomatsakis
committed
Remove as much of TypeContents as I can -- unfortunately, it is still
nikomatsakis
committed
Fix various places that were affected by adding core as dep of libc
nikomatsakis
committed