]> git.lizzy.rs Git - rust.git/commit
Split the predicates listing out of `TraitDef` and `TypeScheme` and into a separate...
authorNiko Matsakis <niko@alum.mit.edu>
Wed, 11 Feb 2015 11:54:05 +0000 (06:54 -0500)
committerNiko Matsakis <niko@alum.mit.edu>
Thu, 12 Feb 2015 18:02:37 +0000 (13:02 -0500)
commitd1630970deaf3fce2b0c4671acaeb8edfd07bc7e
tree12b80d7415d9a8ed6355810917efc4aa1ad8f3f8
parentbea8b81225372ebbcb42fc5a2b6f468b2df402ba
Split the predicates listing out of `TraitDef` and `TypeScheme` and into a separate map, `tcx.predicates`, that is used for both traits and other kinds of items. Also use two newtypes to distinguish
instantiated predicates from the raw, unsubstituted predicates extracted from the map.
src/librustc/middle/ty.rs