Handle impl/dyn Trait in match_ty

KiChjang · KiChjang · commit 0a53a25e5343 · 2019-10-01T00:42:58.000Z
diff --git a/chalk-solve/src/clauses.rs b/chalk-solve/src/clauses.rs
@@ -278,6 +278,10 @@ fn match_ty(
         Ty::ForAll(quantified_ty) => match_ty(db, environment, &quantified_ty.ty, clauses),
         Ty::BoundVar(_) => {}
         Ty::InferenceVar(_) => panic!("should have floundered"),
+        Ty::Dyn(qwc) | Ty::Opaque(qwc) => {
+            let wc = qwc.substitute(&[ty.clone().cast()]);
+            clauses.extend(wc.into_iter().casted());
+        }
     }
 }
 

Original file line number	Diff line number	Diff line change
`@@ -278,6 +278,10 @@ fn match_ty(`
`278`	`278`	`Ty::ForAll(quantified_ty) => match_ty(db, environment, &quantified_ty.ty, clauses),`
`279`	`279`	`Ty::BoundVar(_) => {}`
`280`	`280`	`Ty::InferenceVar(_) => panic!("should have floundered"),`
	`281`	`+ Ty::Dyn(qwc) \| Ty::Opaque(qwc) => {`
	`282`	`+ let wc = qwc.substitute(&[ty.clone().cast()]);`
	`283`	`+ clauses.extend(wc.into_iter().casted());`
	`284`	`+ }`
`281`	`285`	`}`
`282`	`286`	`}`
`283`	`287`