diff options
| author | bors <bors@rust-lang.org> | 2014-09-25 19:02:44 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2014-09-25 19:02:44 +0000 |
| commit | 2550243b4183783e463fbb0bc141ab77f2898e64 (patch) | |
| tree | a34d71e3e339cec76c0972b39da8ee2430d7bda0 /src/libstd | |
| parent | 3be6a2fba8bc3382df4b5a4f9391d9b2f28de9d1 (diff) | |
| parent | 6473909a1b1ff5c435d75d4df844c4b08dafcee9 (diff) | |
| download | rust-2550243b4183783e463fbb0bc141ab77f2898e64.tar.gz rust-2550243b4183783e463fbb0bc141ab77f2898e64.zip | |
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
Diffstat (limited to 'src/libstd')
0 files changed, 0 insertions, 0 deletions