src/test/ui/nll/projection-return.rs

   1 // compile-flags:-Zborrowck=mir
   2 // check-pass
   3
   4 #![feature(rustc_attrs)]
   5
   6 trait Foo {
   7     type Bar;
   8 }
   9
  10 impl Foo for () {
  11     type Bar = u32;
  12 }
  13
  14 fn foo() -> <() as Foo>::Bar {
  15     22
  16 }
  17
  18 fn main() { }