diff options
| author | Florian Diebold <[email protected]> | 2021-04-01 20:04:02 +0100 |
|---|---|---|
| committer | Florian Diebold <[email protected]> | 2021-04-03 10:17:13 +0100 |
| commit | e480d81988fc0c0e4f80f1c54058b95b9aaf1ebf (patch) | |
| tree | 079dabc4e0de72e30d2bd04bd50427ff6950b348 /crates/hir_ty/src/infer/coerce.rs | |
| parent | 327f3a0a3017e047be58b8312f8bf3ac690db3fd (diff) | |
Introduce `GenericArg` like in Chalk
Plus some more adaptations to Substitution.
Lots of `assert_ty_ref` that we should revisit when introducing
lifetime/const parameters.
Diffstat (limited to 'crates/hir_ty/src/infer/coerce.rs')
| -rw-r--r-- | crates/hir_ty/src/infer/coerce.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/crates/hir_ty/src/infer/coerce.rs b/crates/hir_ty/src/infer/coerce.rs index 9c62932b1..8f7322b36 100644 --- a/crates/hir_ty/src/infer/coerce.rs +++ b/crates/hir_ty/src/infer/coerce.rs | |||
| @@ -100,7 +100,7 @@ impl<'a> InferenceContext<'a> { | |||
| 100 | }, | 100 | }, |
| 101 | 101 | ||
| 102 | (TyKind::Closure(.., substs), TyKind::Function { .. }) => { | 102 | (TyKind::Closure(.., substs), TyKind::Function { .. }) => { |
| 103 | from_ty = substs[0].clone(); | 103 | from_ty = substs.at(&Interner, 0).assert_ty_ref(&Interner).clone(); |
| 104 | } | 104 | } |
| 105 | 105 | ||
| 106 | _ => {} | 106 | _ => {} |