More tests

Author: compiler-errors

tests/ui/impl-trait/precise-capturing/of-types-eq-uncaptured.rs

@@ -0,0 +1,11 @@
+//@ check-pass
+
+#![feature(precise_capturing_of_types)]
+//~^ WARN the feature `precise_capturing_of_types` is incomplete
+
+fn uncaptured<T>() -> impl Sized + use<> {}
+
+fn main() {
+    let mut x = uncaptured::<i32>();
+    x = uncaptured::<u32>();
+}

tests/ui/impl-trait/precise-capturing/of-types-eq-uncaptured.stderr

@@ -0,0 +1,11 @@
+warning: the feature `precise_capturing_of_types` is incomplete and may not be safe to use and/or cause compiler crashes
+  --> $DIR/of-types-eq-uncaptured.rs:3:12
+   |
+LL | #![feature(precise_capturing_of_types)]
+   |            ^^^^^^^^^^^^^^^^^^^^^^^^^^
+   |
+   = note: see issue #130043 <https://github.com/rust-lang/rust/issues/130043> for more information
+   = note: `#[warn(incomplete_features)]` on by default
+
+warning: 1 warning emitted
+

tests/ui/impl-trait/precise-capturing/of-types-outlives.rs

@@ -0,0 +1,14 @@
+//@ check-pass
+
+#![feature(precise_capturing_of_types)]
+//~^ WARN the feature `precise_capturing_of_types` is incomplete
+
+fn uncaptured<T>() -> impl Sized + use<> {}
+
+fn outlives_static<T: 'static>(_: T) {}
+
+fn foo<'a>() {
+    outlives_static(uncaptured::<&'a ()>());
+}
+
+fn main() {}

tests/ui/impl-trait/precise-capturing/of-types-outlives.stderr

@@ -0,0 +1,11 @@
+warning: the feature `precise_capturing_of_types` is incomplete and may not be safe to use and/or cause compiler crashes
+  --> $DIR/of-types-outlives.rs:3:12
+   |
+LL | #![feature(precise_capturing_of_types)]
+   |            ^^^^^^^^^^^^^^^^^^^^^^^^^^
+   |
+   = note: see issue #130043 <https://github.com/rust-lang/rust/issues/130043> for more information
+   = note: `#[warn(incomplete_features)]` on by default
+
+warning: 1 warning emitted
+