Handle impl/dyn Trait in match_ty

KiChjang · KiChjang · commit b8a7470b3e6c · 2019-10-04T21:15:24.000Z
diff --git a/chalk-solve/src/clauses.rs b/chalk-solve/src/clauses.rs
@@ -278,6 +278,7 @@ 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(_) | Ty::Opaque(_) => {}
     }
 }
 

Original file line number	Diff line number	Diff line change
`@@ -278,6 +278,7 @@ 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(_) \| Ty::Opaque(_) => {}`
`281`	`282`	`}`
`282`	`283`	`}`
`283`	`284`