summaryrefslogtreecommitdiffstats
path: root/tests/ui/associated-type-bounds/return-type-notation/non-rpitit.stderr
diff options
context:
space:
mode:
Diffstat (limited to 'tests/ui/associated-type-bounds/return-type-notation/non-rpitit.stderr')
-rw-r--r--tests/ui/associated-type-bounds/return-type-notation/non-rpitit.stderr22
1 files changed, 22 insertions, 0 deletions
diff --git a/tests/ui/associated-type-bounds/return-type-notation/non-rpitit.stderr b/tests/ui/associated-type-bounds/return-type-notation/non-rpitit.stderr
new file mode 100644
index 000000000..31b793995
--- /dev/null
+++ b/tests/ui/associated-type-bounds/return-type-notation/non-rpitit.stderr
@@ -0,0 +1,22 @@
+warning: the feature `return_type_notation` is incomplete and may not be safe to use and/or cause compiler crashes
+ --> $DIR/non-rpitit.rs:1:12
+ |
+LL | #![feature(return_type_notation)]
+ | ^^^^^^^^^^^^^^^^^^^^
+ |
+ = note: see issue #109417 <https://github.com/rust-lang/rust/issues/109417> for more information
+ = note: `#[warn(incomplete_features)]` on by default
+
+error: return type notation used on function that is not `async` and does not return `impl Trait`
+ --> $DIR/non-rpitit.rs:8:18
+ |
+LL | fn method() {}
+ | ----------- this function must be `async` or return `impl Trait`
+...
+LL | fn test<T: Trait<method(): Send>>() {}
+ | ^^^^^^^^^^^^^^
+ |
+ = note: function returns `()`, which is not compatible with associated type return bounds
+
+error: aborting due to previous error; 1 warning emitted
+