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

   1 // Copyright 2018 The Rust Project Developers. See the COPYRIGHT
   2 // file at the top-level directory of this distribution and at
   3 // http://rust-lang.org/COPYRIGHT.
   4 //
   5 // Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
   6 // http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
   7 // <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
   8 // option. This file may not be copied, modified, or distributed
   9 // except according to those terms.
  10
  11 // compile-pass
  12 pub trait Foo<'a> {
  13     type Bar;
  14     fn foo(&'a self) -> Self::Bar;
  15 }
  16
  17 impl<'a, 'b, T: 'a> Foo<'a> for &'b T {
  18     type Bar = &'a T;
  19     fn foo(&'a self) -> &'a T {
  20         self
  21     }
  22 }
  23
  24 pub fn uncallable<T, F>(x: T, f: F)
  25     where T: for<'a> Foo<'a>,
  26           F: for<'a> Fn(<T as Foo<'a>>::Bar)
  27 {
  28     f(x.foo());
  29 }
  30
  31 pub fn catalyst(x: &i32) {
  32     broken(x, |_| {})
  33 }
  34
  35 pub fn broken<F: Fn(&i32)>(x: &i32, f: F) {
  36     uncallable(x, |y| f(y));
  37 }
  38
  39 fn main() { }
  40