From: Oliver Scherer <github35764891676564198441@oli-obk.de>
Date: Fri, 25 Jan 2019 14:04:15 +0000 (+0100)
Subject: Add FIXME
X-Git-Url: https://git.lizzy.rs/?a=commitdiff_plain;h=381c5416855f53e130d5156aec5f9067fc981dfa;p=rust.git

Add FIXME
---

diff --git a/src/librustc_typeck/check/writeback.rs b/src/librustc_typeck/check/writeback.rs
index 238b087fe32..00917be538f 100644
--- a/src/librustc_typeck/check/writeback.rs
+++ b/src/librustc_typeck/check/writeback.rs
@@ -561,6 +561,8 @@ fn visit_opaque_types(&mut self, span: Span) {
                 if def_id == defin_ty_def_id {
                     // Concrete type resolved to the existential type itself
                     // Force a cycle error
+                    // FIXME(oli-obk): we could just not insert it into `concrete_existential_types`
+                    // which simply would make this use not a defining use.
                     self.tcx().at(span).type_of(defin_ty_def_id);
                 }
             }