src/test/ui/issues/issue-28550.rs

   1 // run-pass
   2 struct A<F: FnOnce()->T,T>(F::Output);
   3 struct B<F: FnOnce()->T,T>(A<F,T>);
   4
   5 // Removing Option causes it to compile.
   6 fn foo<T,F: FnOnce()->T>(f: F) -> Option<B<F,T>> {
   7     Some(B(A(f())))
   8 }
   9
  10 fn main() {
  11     let v = (|| foo(||4))();
  12     match v {
  13         Some(B(A(4))) => {},
  14         _ => unreachable!()
  15     }
  16 }