aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--crates/ra_hir/src/ty/traits/chalk.rs6
1 files changed, 5 insertions, 1 deletions
diff --git a/crates/ra_hir/src/ty/traits/chalk.rs b/crates/ra_hir/src/ty/traits/chalk.rs
index 18f301789..02df5a4fa 100644
--- a/crates/ra_hir/src/ty/traits/chalk.rs
+++ b/crates/ra_hir/src/ty/traits/chalk.rs
@@ -36,7 +36,11 @@ impl ToChalk for Ty {
36 } 36 }
37 Ty::Bound(idx) => chalk_ir::Ty::BoundVar(idx as usize), 37 Ty::Bound(idx) => chalk_ir::Ty::BoundVar(idx as usize),
38 Ty::Infer(_infer_ty) => panic!("uncanonicalized infer ty"), 38 Ty::Infer(_infer_ty) => panic!("uncanonicalized infer ty"),
39 Ty::Unknown => unimplemented!(), // TODO turn into placeholder? 39 // FIXME this is clearly incorrect, but probably not too incorrect
40 // and I'm not sure what to actually do with Ty::Unknown
41 Ty::Unknown => {
42 PlaceholderIndex { ui: UniverseIndex::ROOT, idx: 0 }.to_ty()
43 },
40 } 44 }
41 } 45 }
42 fn from_chalk(db: &impl HirDatabase, chalk: chalk_ir::Ty) -> Self { 46 fn from_chalk(db: &impl HirDatabase, chalk: chalk_ir::Ty) -> Self {