diff options
| author | bors <bors@rust-lang.org> | 2015-10-07 05:11:44 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2015-10-07 05:11:44 +0000 |
| commit | a63b0f045d4fd37de8febdeae592bc35fbcff3ea (patch) | |
| tree | 7b09ba163548ab78a2ae35f32c79d806e00735eb /src/libstd/sys | |
| parent | b2cc47ff94628da5451dbf65d503473f016b5a1e (diff) | |
| parent | 50c83a906167b3f7e7da1e7c2fe037741289a986 (diff) | |
| download | rust-a63b0f045d4fd37de8febdeae592bc35fbcff3ea.tar.gz rust-a63b0f045d4fd37de8febdeae592bc35fbcff3ea.zip | |
Auto merge of #28866 - nikomatsakis:remove-hair-trait, r=nrc
As the subject says. This PR also removes the `Hair` trait, which was impeding the ability to build such a map, as described in this thread on internals: https://internals.rust-lang.org/t/removing-the-hair-trait-from-mir-construction/2732 r? @nrc
Diffstat (limited to 'src/libstd/sys')
0 files changed, 0 insertions, 0 deletions