diff options
| author | Florian Diebold <[email protected]> | 2019-12-21 13:29:33 +0000 |
|---|---|---|
| committer | Florian Diebold <[email protected]> | 2019-12-22 23:08:03 +0000 |
| commit | 67a2555f6d4c3914742fd42645ca043cf56f358b (patch) | |
| tree | 8edadceaa43e5f0d5ccea2ea2f9c6e6f8f66abde /crates/ra_hir_ty/src/traits.rs | |
| parent | 60aa4d12f95477565d5b01f122d2c9dd845015b4 (diff) | |
Update Chalk, clean up Chalk integration a bit
Diffstat (limited to 'crates/ra_hir_ty/src/traits.rs')
| -rw-r--r-- | crates/ra_hir_ty/src/traits.rs | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/crates/ra_hir_ty/src/traits.rs b/crates/ra_hir_ty/src/traits.rs index d49f8fb4b..46e17f0b8 100644 --- a/crates/ra_hir_ty/src/traits.rs +++ b/crates/ra_hir_ty/src/traits.rs | |||
| @@ -209,9 +209,9 @@ fn solution_from_chalk( | |||
| 209 | .parameters | 209 | .parameters |
| 210 | .into_iter() | 210 | .into_iter() |
| 211 | .map(|p| { | 211 | .map(|p| { |
| 212 | let ty = match p { | 212 | let ty = match p.ty() { |
| 213 | chalk_ir::Parameter(chalk_ir::ParameterKind::Ty(ty)) => from_chalk(db, ty), | 213 | Some(ty) => from_chalk(db, ty.clone()), |
| 214 | chalk_ir::Parameter(chalk_ir::ParameterKind::Lifetime(_)) => unimplemented!(), | 214 | None => unimplemented!(), |
| 215 | }; | 215 | }; |
| 216 | ty | 216 | ty |
| 217 | }) | 217 | }) |