src/test/ui/trivial-bounds/trivial-bounds-inconsistent-projection-error.rs

   1 #![feature(trivial_bounds)]
   2 #![allow(unused)]
   3
   4 struct B;
   5
   6 trait A {
   7     type X;
   8     fn get_x() -> Self::X;
   9 }
  10
  11 impl A for B {
  12     type X = u8;
  13     fn get_x() -> u8 { 0 }
  14 }
  15
  16 fn global_bound_is_hidden() -> u8
  17 where
  18     B: A<X = i32>
  19 {
  20     B::get_x() //~ ERROR
  21 }
  22
  23 fn main () {}