diff options
Diffstat (limited to '')
-rw-r--r-- | src/test/ui/generic-associated-types/constraint-assoc-type-suggestion.rs | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/src/test/ui/generic-associated-types/constraint-assoc-type-suggestion.rs b/src/test/ui/generic-associated-types/constraint-assoc-type-suggestion.rs new file mode 100644 index 000000000..e315ee842 --- /dev/null +++ b/src/test/ui/generic-associated-types/constraint-assoc-type-suggestion.rs @@ -0,0 +1,16 @@ +// Test that correct syntax is used in suggestion to constrain associated type + +#![feature(generic_associated_types)] + +trait X { + type Y<T>; +} + +fn f<T: X>(a: T::Y<i32>) { + //~^ HELP consider constraining the associated type `<T as X>::Y<i32>` to `Vec<i32>` + //~| SUGGESTION Y<i32> = Vec<i32>> + let b: Vec<i32> = a; + //~^ ERROR mismatched types +} + +fn main() {} |