diff options
Diffstat (limited to 'tests/ui/trivial-bounds/trivial-bounds-inconsistent-projection-error.rs')
-rw-r--r-- | tests/ui/trivial-bounds/trivial-bounds-inconsistent-projection-error.rs | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/tests/ui/trivial-bounds/trivial-bounds-inconsistent-projection-error.rs b/tests/ui/trivial-bounds/trivial-bounds-inconsistent-projection-error.rs new file mode 100644 index 000000000..e0f299630 --- /dev/null +++ b/tests/ui/trivial-bounds/trivial-bounds-inconsistent-projection-error.rs @@ -0,0 +1,23 @@ +#![feature(trivial_bounds)] +#![allow(unused)] + +struct B; + +trait A { + type X; + fn get_x() -> Self::X; +} + +impl A for B { + type X = u8; + fn get_x() -> u8 { 0 } +} + +fn global_bound_is_hidden() -> u8 +where + B: A<X = i32> +{ + B::get_x() //~ ERROR +} + +fn main () {} |