summaryrefslogtreecommitdiffstats
path: root/src/test/ui/type/type-params-in-different-spaces-3.stderr
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/type/type-params-in-different-spaces-3.stderr')
-rw-r--r--src/test/ui/type/type-params-in-different-spaces-3.stderr20
1 files changed, 20 insertions, 0 deletions
diff --git a/src/test/ui/type/type-params-in-different-spaces-3.stderr b/src/test/ui/type/type-params-in-different-spaces-3.stderr
new file mode 100644
index 000000000..c538d6731
--- /dev/null
+++ b/src/test/ui/type/type-params-in-different-spaces-3.stderr
@@ -0,0 +1,20 @@
+error[E0308]: mismatched types
+ --> $DIR/type-params-in-different-spaces-3.rs:3:9
+ |
+LL | trait Tr : Sized {
+ | ---------------- expected type parameter
+LL | fn test<X>(u: X) -> Self {
+ | - ---- expected `Self` because of return type
+ | |
+ | found type parameter
+LL | u
+ | ^ expected type parameter `Self`, found type parameter `X`
+ |
+ = note: expected type parameter `Self`
+ found type parameter `X`
+ = note: a type parameter was expected, but a different one was found; you might be missing a type parameter or trait bound
+ = note: for more information, visit https://doc.rust-lang.org/book/ch10-02-traits.html#traits-as-parameters
+
+error: aborting due to previous error
+
+For more information about this error, try `rustc --explain E0308`.