Add FIXMEs

diff --git a/src/test/ui/impl-trait/issue-57200.rs b/src/test/ui/impl-trait/issue-57200.rs
index 9a7290b3b7524680d3970df4af763035e72287d8..e0c71d1ac9a61cb59081935d61c13f4d6a02a858 100644 (file)
--- 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 42fd0045315cd3784a9d403c34768c70ed310078..b44f332d58ccdc9f9cde8ec280a8cfac0e49f4c2 100644 (file)
--- 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 79b19b52d206182e544efd466c8c0b035368ac27..c1a98d8897bfbd075373d1ddfad1ae2fa86a95a6 100644 (file)
--- 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 5defd15b6b5454769d2db2f4d0860c27d6a2a1ff..462b17bf45e2f71e63789debb4ccd800950daac4 100644 (file)
--- 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 596d8a2dd741a83275838671fb0907dd49d63830..50cf0c8c6d641dfdce25f8e2899d1740a3580a99 100644 (file)
--- 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 6a07f29727c1d2e7254859595cf24f5f0730c732..2d95be4e52c61b34c52a78d7a9b3782c61f8ac14 100644 (file)
--- 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 a877d4cfe3bd72a728e253fd73b25ccd5d8064ce..de7433a9bfc4cdbb63961f0e17c41f0e01e1f53c 100644 (file)
--- 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 abf30f67d5f895786e36a1bfa5a2e86ad5b1dbf9..56cba3cff0b554b70f049506de4318a561ea988c 100644 (file)
--- 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