Add FIXMEs

8 files changed, 9 insertions, 6 deletions

diff --git a/src/test/ui/impl-trait/issue-57200.rs b/src/test/ui/impl-trait/issue-57200.rs
index 9a7290b3b75..e0c71d1ac9a 100644
--- a/src/test/ui/impl-trait/issue-57200.rs
+++ b/src/test/ui/impl-trait/issue-57200.rs
@@ -1,4 +1,5 @@
 // Regression test for #57200
+// FIXME: The error is temporary hack, we'll revisit here at some point.
 
 #![feature(impl_trait_in_bindings)]
 #![allow(incomplete_features)]
diff --git a/src/test/ui/impl-trait/issue-57200.stderr b/src/test/ui/impl-trait/issue-57200.stderr
index 42fd0045315..b44f332d58c 100644
--- a/src/test/ui/impl-trait/issue-57200.stderr
+++ b/src/test/ui/impl-trait/issue-57200.stderr
@@ -1,5 +1,5 @@
 error: lifetimes in impl Trait types in bindings are not currently supported
-  --> $DIR/issue-57200.rs:10:12
+  --> $DIR/issue-57200.rs:11:12
    |
 LL |     let f: impl Fn(&'a T) -> &'b T = |x| x;
    |            ^^^^^^^^^^^^^^^^^^^^^^^
diff --git a/src/test/ui/impl-trait/issue-57201.rs b/src/test/ui/impl-trait/issue-57201.rs
index 79b19b52d20..c1a98d8897b 100644
--- a/src/test/ui/impl-trait/issue-57201.rs
+++ b/src/test/ui/impl-trait/issue-57201.rs
@@ -1,4 +1,5 @@
 // Regression test for #57201
+// FIXME: The error is temporary hack, we'll revisit here at some point.
 
 #![feature(impl_trait_in_bindings)]
 #![allow(incomplete_features)]
diff --git a/src/test/ui/impl-trait/issue-57201.stderr b/src/test/ui/impl-trait/issue-57201.stderr
index 5defd15b6b5..462b17bf45e 100644
--- a/src/test/ui/impl-trait/issue-57201.stderr
+++ b/src/test/ui/impl-trait/issue-57201.stderr
@@ -1,5 +1,5 @@
 error: lifetimes in impl Trait types in bindings are not currently supported
-  --> $DIR/issue-57201.rs:10:13
+  --> $DIR/issue-57201.rs:11:13
    |
 LL |     let f: &impl Fn(&'a T) -> &'b T = &|x| x;
    |             ^^^^^^^^^^^^^^^^^^^^^^^
diff --git a/src/test/ui/impl-trait/issue-60473.rs b/src/test/ui/impl-trait/issue-60473.rs
index 596d8a2dd74..50cf0c8c6d6 100644
--- a/src/test/ui/impl-trait/issue-60473.rs
+++ b/src/test/ui/impl-trait/issue-60473.rs
@@ -12,5 +12,6 @@ impl<T> Trait<T> for () {
 }
 
 fn main() {
-    let x: impl Trait<A> = (); //~ ERROR: opaque type expands to a recursive type
+    let x: impl Trait<A> = (); // FIXME: The error doesn't seem correct.
+    //~^ ERROR: opaque type expands to a recursive type
 }
diff --git a/src/test/ui/impl-trait/issue-60473.stderr b/src/test/ui/impl-trait/issue-60473.stderr
index 6a07f29727c..2d95be4e52c 100644
--- a/src/test/ui/impl-trait/issue-60473.stderr
+++ b/src/test/ui/impl-trait/issue-60473.stderr
@@ -1,7 +1,7 @@
 error[E0720]: opaque type expands to a recursive type
   --> $DIR/issue-60473.rs:15:12
    |
-LL |     let x: impl Trait<A> = ();
+LL |     let x: impl Trait<A> = (); // FIXME: The error doesn't seem correct.
    |            ^^^^^^^^^^^^^ expands to a recursive type
    |
    = note: type resolves to itself
diff --git a/src/test/ui/impl-trait/issue-67166.rs b/src/test/ui/impl-trait/issue-67166.rs
index a877d4cfe3b..de7433a9bfc 100644
--- a/src/test/ui/impl-trait/issue-67166.rs
+++ b/src/test/ui/impl-trait/issue-67166.rs
@@ -4,7 +4,7 @@
 #![allow(incomplete_features)]
 
 pub fn run() {
-    let _foo: Box<impl Copy + '_> = Box::new(());
+    let _foo: Box<impl Copy + '_> = Box::new(()); // FIXME: The error doesn't much make sense.
     //~^ ERROR: opaque type expands to a recursive type
 }
 
diff --git a/src/test/ui/impl-trait/issue-67166.stderr b/src/test/ui/impl-trait/issue-67166.stderr
index abf30f67d5f..56cba3cff0b 100644
--- a/src/test/ui/impl-trait/issue-67166.stderr
+++ b/src/test/ui/impl-trait/issue-67166.stderr
@@ -1,7 +1,7 @@
 error[E0720]: opaque type expands to a recursive type
   --> $DIR/issue-67166.rs:7:19
    |
-LL |     let _foo: Box<impl Copy + '_> = Box::new(());
+LL |     let _foo: Box<impl Copy + '_> = Box::new(()); // FIXME: The error doesn't much make sense.
    |                   ^^^^^^^^^^^^^^ expands to a recursive type
    |
    = note: type resolves to itself