Don't add wf clauses for function args. This is broken

Author: jackh726

chalk-solve/src/clauses.rs

@@ -755,12 +755,6 @@ fn match_ty<I: Interner>(
             .to_program_clauses(builder, environment),
         TyData::Function(quantified_ty) => {
             builder.push_fact(WellFormed::Ty(ty.clone()));
-            quantified_ty
-                .substitution
-                .iter(interner)
-                .map(|p| p.assert_ty_ref(interner))
-                .map(|ty| match_ty(builder, environment, &ty))
-                .collect::<Result<_, Floundered>>()?;
         }
         TyData::BoundVar(_) | TyData::InferenceVar(_, _) => return Err(Floundered),
         TyData::Dyn(_) => {}