diff options
| author | Yuki Okushi <huyuumi.dev@gmail.com> | 2020-08-06 05:21:03 +0900 |
|---|---|---|
| committer | Yuki Okushi <huyuumi.dev@gmail.com> | 2020-08-06 05:21:03 +0900 |
| commit | cc36c3d140b82757c5ffe94c71232d2f32fcf2a4 (patch) | |
| tree | 31826a3f2aa2be8b9950525b7bc51267f0df6152 /src | |
| parent | 788261d2d30c92c7423a68088aaee32ce44f9520 (diff) | |
Add a FIXME comment
Diffstat (limited to 'src')
| -rw-r--r-- | src/test/ui/higher-rank-trait-bounds/issue-59311.rs | 4 | ||||
| -rw-r--r-- | src/test/ui/higher-rank-trait-bounds/issue-59311.stderr | 2 |
2 files changed, 5 insertions, 1 deletions
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<F: Fn()>(&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(|| {}); | ^^^^^ |