OpenE2K/rust
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

split IntoWellFormedGoal

Browse Source
This commit is contained in:
csmoe 2018-05-04 10:00:11 +08:00
parent 329d03ac1f
commit dabd3f6935
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
src/librustc_traits/lowering.rs
View File

@ -121,11 +121,11 @@ trait IntoFromEnvGoal {
} }
trait IntoWellFormedGoal { trait IntoWellFormedGoal {
// Transforms an existing goal into a WellFormed goal.
fn into_wellformed_goal(self) -> Self; fn into_wellformed_goal(self) -> Self;
} }
impl<'tcx> IntoGoal for DomainGoal<'tcx> { impl<'tcx> IntoFromEnvGoal for DomainGoal<'tcx> {
// Transforms an existing goal into a WellFormed goal.
fn into_from_env_goal(self) -> DomainGoal<'tcx> { fn into_from_env_goal(self) -> DomainGoal<'tcx> {
use self::WhereClause::*; use self::WhereClause::*;
@ -138,7 +138,7 @@ impl<'tcx> IntoGoal for DomainGoal<'tcx> {
} }
} }
impl<'tcx> IntoFromEnvGoal for DomainGoal<'tcx> { impl<'tcx> IntoWellFormedGoal for DomainGoal<'tcx> {
fn into_wellformed_goal(self) -> DomainGoal<'tcx> { fn into_wellformed_goal(self) -> DomainGoal<'tcx> {
use self::DomainGoal::*; use self::DomainGoal::*;
match self { match self {
@ -302,7 +302,7 @@ fn wellformed_from_bound<'a, 'tcx>(
// WellFormed(Self: Trait<P1..Pn>) // WellFormed(Self: Trait<P1..Pn>)
let wellformed_trait = DomainGoal::WellFormed(WhereClauseAtom::Implemented(trait_pred)); let wellformed_trait = DomainGoal::WellFormed(WhereClauseAtom::Implemented(trait_pred));
// Impemented(Self: Trait<P1..Pn>) // Implemented(Self: Trait<P1..Pn>)
let impl_trait = ty::Binder::dummy(DomainGoal::Holds(WhereClauseAtom::Implemented(trait_pred))); let impl_trait = ty::Binder::dummy(DomainGoal::Holds(WhereClauseAtom::Implemented(trait_pred)));
// WellFormed(WC) // WellFormed(WC)
let wellformed_wc = where_clause let wellformed_wc = where_clause