Handle impl/dyn Trait in match_ty

Author: KiChjang

chalk-solve/src/clauses.rs

@@ -278,6 +278,14 @@ 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) => {
+            let wc = qwc.substitute(&[ty.clone().cast()]);
+            clauses.extend(wc.into_iter().casted());
+        }
+        Ty::Opaque(qwc) => {
+            let wc = qwc.substitute(&[ty.clone().cast()]);
+            clauses.extend(wc.into_iter().casted());
+        }
     }
 }