From cc36c3d140b82757c5ffe94c71232d2f32fcf2a4 Mon Sep 17 00:00:00 2001 From: Yuki Okushi Date: Thu, 6 Aug 2020 05:21:03 +0900 Subject: [PATCH] Add a FIXME comment --- src/test/ui/higher-rank-trait-bounds/issue-59311.rs | 4 ++++ src/test/ui/higher-rank-trait-bounds/issue-59311.stderr | 2 +- 2 files changed, 5 insertions(+), 1 deletion(-) diff --git a/src/test/ui/higher-rank-trait-bounds/issue-59311.rs b/src/test/ui/higher-rank-trait-bounds/issue-59311.rs index c2168510cf5..1e1241c7f83 100644 --- a/src/test/ui/higher-rank-trait-bounds/issue-59311.rs +++ b/src/test/ui/higher-rank-trait-bounds/issue-59311.rs @@ -2,6 +2,10 @@ // rust-lang/rust/issues/71546#issuecomment-620638437 // as they seem to have the same cause. +// FIXME: It's not clear that this code ought to report +// an error, but the regression test is here to ensure +// that it does not ICE. See discussion on #74889 for details. + pub trait T { fn t(&self, _: F) {} } diff --git a/src/test/ui/higher-rank-trait-bounds/issue-59311.stderr b/src/test/ui/higher-rank-trait-bounds/issue-59311.stderr index e6488c33711..ca632629267 100644 --- a/src/test/ui/higher-rank-trait-bounds/issue-59311.stderr +++ b/src/test/ui/higher-rank-trait-bounds/issue-59311.stderr @@ -1,5 +1,5 @@ error: higher-ranked subtype error - --> $DIR/issue-59311.rs:13:9 + --> $DIR/issue-59311.rs:17:9 | LL | v.t(|| {}); | ^^^^^ -- 2.44.0