bors 2550243b41 auto merge of #17466 : nikomatsakis/rust/oibt, r=pcwalton ... Moves the vast majority of builtin bound checking out of type contents and into the trait system. This is a preliminary step for a lot of follow-on work: - opt-in builtin types, obviously - generalized where clauses, because TypeContents has this notion that a type parameter has a single set of builtin kinds, but with where clauses it depends on context - generalized coherence, because this adds support for recursive trait selection Unfortunately I wasn't able to completely remove Type Contents from the front-end checking in this PR. It's still used by EUV to decide what gets moved and what doesn't. r? @pcwalton		2014-09-25 19:02:44 +00:00
..
lib.rs	auto merge of #17466 : nikomatsakis/rust/oibt, r=pcwalton	2014-09-25 19:02:44 +00:00