Undo floundering for AliasEq, it's not the right approach

flodiebold · flodiebold · commit b1453e5bc70a · 2020-04-15T19:33:36.000+02:00
diff --git a/chalk-solve/src/recursive/mod.rs b/chalk-solve/src/recursive/mod.rs
@@ -556,13 +556,6 @@ impl<'me, I: Interner> Solver<'me, I> {
                 }
             }
 
-            DomainGoal::Holds(WhereClause::AliasEq(alias_eq)) => {
-                let self_ty = alias_eq.alias.self_type_parameter(interner);
-                if let Some(_) = self_ty.bound(interner) {
-                    return Err(Floundered);
-                }
-            }
-
             DomainGoal::WellFormed(WellFormed::Ty(ty))
             | DomainGoal::IsUpstream(ty)
             | DomainGoal::DownstreamType(ty)

Original file line number	Diff line number	Diff line change
`@@ -556,13 +556,6 @@ impl<'me, I: Interner> Solver<'me, I> {`
`556`	`556`	`}`
`557`	`557`	`}`
`558`	`558`
`559`		`- DomainGoal::Holds(WhereClause::AliasEq(alias_eq)) => {`
`560`		`- let self_ty = alias_eq.alias.self_type_parameter(interner);`
`561`		`- if let Some(_) = self_ty.bound(interner) {`
`562`		`- return Err(Floundered);`
`563`		`- }`
`564`		`- }`
`565`		`-`
`566`	`559`	`DomainGoal::WellFormed(WellFormed::Ty(ty))`
`567`	`560`	`\| DomainGoal::IsUpstream(ty)`
`568`	`561`	`\| DomainGoal::DownstreamType(ty)`