Add FIXMEs

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)]

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;
    |            ^^^^^^^^^^^^^^^^^^^^^^^

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)]

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;
    |             ^^^^^^^^^^^^^^^^^^^^^^^

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
 }

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

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
 }
 

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