mozilla/rust — pull request #10158 by nikomatsakis (2013-10-29 20:10:33+00:00)
Title: Refactor TypeContents to be more scrutable. In particular, do not requir...

...e types

to register such fine-grained distinctions, but rather focus on the end
properties we're trying to compute. Also, cleanly distinguish when properties
must be found in *owned* types vs *reachable* types.

Fixes #10157

r? whomever.