Add FIXME

diff --git a/crates/ra_hir_ty/src/infer.rs b/crates/ra_hir_ty/src/infer.rs
index 08c220cfe8ae500420ac971c6da7b95cd6d58ac0..e40df65e31d3b5d548c0ce5c87a5915ba09fba87 100644 (file)
--- 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 {