From 3a2cf708ed1c80d403af957791dfe35ad5dee0a3 Mon Sep 17 00:00:00 2001 From: Edwin Cheng Date: Tue, 24 Dec 2019 23:39:17 +0800 Subject: Add FIXME --- crates/ra_hir_ty/src/infer.rs | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) (limited to 'crates/ra_hir_ty') diff --git a/crates/ra_hir_ty/src/infer.rs b/crates/ra_hir_ty/src/infer.rs index 08c220cfe..e40df65e3 100644 --- a/crates/ra_hir_ty/src/infer.rs +++ b/crates/ra_hir_ty/src/infer.rs @@ -379,7 +379,11 @@ impl<'a, D: HirDatabase> InferenceContext<'a, D> { ) -> Ty { match assoc_ty { Some(res_assoc_ty) => { - // Fast path: Check if inner_ty is is `impl Trait` and contained input TypeAlias id + // FIXME: + // Check if inner_ty is is `impl Trait` and contained input TypeAlias id + // this is a workaround while Chalk assoc type projection doesn't always work yet, + // but once that is fixed I don't think we should keep this + // (we'll probably change how associated types are resolved anyway) if let Ty::Opaque(ref predicates) = inner_ty { for p in predicates.iter() { if let GenericPredicate::Projection(projection) = p { -- cgit v1.2.3