This is pretty bad. It's due to boxed traits.
Activity
jruderman commentedon Sep 23, 2012
Will #3157 fix this?
catamorphism commentedon May 23, 2013
This is still true, but should be easy to fix. Nominating for milestone 5, production-ready.
graydon commentedon Jun 20, 2013
dupe / completely-absorbed-by #4248
Merge pull request rust-lang#3558 from bash/unstable-tests
Auto merge of rust-lang#3558 - RalfJung:unsupported, r=RalfJung
Auto merge of rust-lang#3558 - RalfJung:unsupported, r=RalfJung
Merge rust-lang#3558