From 381c5416855f53e130d5156aec5f9067fc981dfa Mon Sep 17 00:00:00 2001 From: Oliver Scherer Date: Fri, 25 Jan 2019 15:04:15 +0100 Subject: [PATCH] Add FIXME --- src/librustc_typeck/check/writeback.rs | 2 ++ 1 file changed, 2 insertions(+) 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); } } -- 2.44.0