From 3a2cf708ed1c80d403af957791dfe35ad5dee0a3 Mon Sep 17 00:00:00 2001 From: Edwin Cheng Date: Tue, 24 Dec 2019 23:39:17 +0800 Subject: [PATCH] Add FIXME --- crates/ra_hir_ty/src/infer.rs | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/crates/ra_hir_ty/src/infer.rs b/crates/ra_hir_ty/src/infer.rs index 08c220cfe8a..e40df65e31d 100644 --- a/crates/ra_hir_ty/src/infer.rs +++ b/crates/ra_hir_ty/src/infer.rs @@ -379,7 +379,11 @@ fn resolve_associated_type_with_params( ) -> 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 {