diff options
Diffstat (limited to 'crates/ra_hir/src/ty/traits')
-rw-r--r-- | crates/ra_hir/src/ty/traits/chalk.rs | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/crates/ra_hir/src/ty/traits/chalk.rs b/crates/ra_hir/src/ty/traits/chalk.rs index 0367c6560..c748e9d84 100644 --- a/crates/ra_hir/src/ty/traits/chalk.rs +++ b/crates/ra_hir/src/ty/traits/chalk.rs | |||
@@ -65,14 +65,6 @@ impl ToChalk for Ty { | |||
65 | let parameters = proj_ty.parameters.to_chalk(db); | 65 | let parameters = proj_ty.parameters.to_chalk(db); |
66 | chalk_ir::ProjectionTy { associated_ty_id, parameters }.cast() | 66 | chalk_ir::ProjectionTy { associated_ty_id, parameters }.cast() |
67 | } | 67 | } |
68 | Ty::UnselectedProjection(proj_ty) => { | ||
69 | let type_name = lalrpop_intern::intern(&proj_ty.type_name.to_string()); | ||
70 | let parameters = proj_ty.parameters.to_chalk(db); | ||
71 | chalk_ir::Ty::UnselectedProjection(chalk_ir::UnselectedProjectionTy { | ||
72 | type_name, | ||
73 | parameters, | ||
74 | }) | ||
75 | } | ||
76 | Ty::Param { idx, .. } => { | 68 | Ty::Param { idx, .. } => { |
77 | PlaceholderIndex { ui: UniverseIndex::ROOT, idx: idx as usize }.to_ty() | 69 | PlaceholderIndex { ui: UniverseIndex::ROOT, idx: idx as usize }.to_ty() |
78 | } | 70 | } |
@@ -113,7 +105,6 @@ impl ToChalk for Ty { | |||
113 | } | 105 | } |
114 | } | 106 | } |
115 | chalk_ir::Ty::Projection(_) => unimplemented!(), | 107 | chalk_ir::Ty::Projection(_) => unimplemented!(), |
116 | chalk_ir::Ty::UnselectedProjection(_) => unimplemented!(), | ||
117 | chalk_ir::Ty::ForAll(_) => unimplemented!(), | 108 | chalk_ir::Ty::ForAll(_) => unimplemented!(), |
118 | chalk_ir::Ty::BoundVar(idx) => Ty::Bound(idx as u32), | 109 | chalk_ir::Ty::BoundVar(idx) => Ty::Bound(idx as u32), |
119 | chalk_ir::Ty::InferenceVar(_iv) => panic!("unexpected chalk infer ty"), | 110 | chalk_ir::Ty::InferenceVar(_iv) => panic!("unexpected chalk infer ty"), |