diff options
Diffstat (limited to 'tests/ui/generic-associated-types/constraint-assoc-type-suggestion.stderr')
-rw-r--r-- | tests/ui/generic-associated-types/constraint-assoc-type-suggestion.stderr | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/tests/ui/generic-associated-types/constraint-assoc-type-suggestion.stderr b/tests/ui/generic-associated-types/constraint-assoc-type-suggestion.stderr new file mode 100644 index 000000000..96c4330fe --- /dev/null +++ b/tests/ui/generic-associated-types/constraint-assoc-type-suggestion.stderr @@ -0,0 +1,18 @@ +error[E0308]: mismatched types + --> $DIR/constraint-assoc-type-suggestion.rs:10:23 + | +LL | let b: Vec<i32> = a; + | -------- ^ expected struct `Vec`, found associated type + | | + | expected due to this + | + = note: expected struct `Vec<i32>` + found associated type `<T as X>::Y<i32>` +help: consider constraining the associated type `<T as X>::Y<i32>` to `Vec<i32>` + | +LL | fn f<T: X<Y<i32> = Vec<i32>>>(a: T::Y<i32>) { + | +++++++++++++++++++ + +error: aborting due to previous error + +For more information about this error, try `rustc --explain E0308`. |