Add FIXME

1 files changed, 5 insertions, 1 deletions

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 {