File tree Expand file tree Collapse file tree 1 file changed +39
-0
lines changed Expand file tree Collapse file tree 1 file changed +39
-0
lines changed Original file line number Diff line number Diff line change 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+ pub trait Foo < ' a > {
12+ type Bar ;
13+ fn foo ( & ' a self ) -> Self :: Bar ;
14+ }
15+
16+ impl < ' a , ' b , T : ' a > Foo < ' a > for & ' b T {
17+ type Bar = & ' a T ;
18+ fn foo ( & ' a self ) -> & ' a T {
19+ self
20+ }
21+ }
22+
23+ pub fn uncallable < T , F > ( x : T , f : F )
24+ where T : for < ' a > Foo < ' a > ,
25+ F : for < ' a > Fn ( <T as Foo < ' a > >:: Bar )
26+ {
27+ f ( x. foo ( ) ) ;
28+ }
29+
30+ pub fn catalyst ( x : & i32 ) {
31+ broken ( x, |_| { } )
32+ }
33+
34+ pub fn broken < F : Fn ( & i32 ) > ( x : & i32 , f : F ) {
35+ uncallable ( x, |y| f ( y) ) ;
36+ }
37+
38+ fn main ( ) { }
39+
You can’t perform that action at this time.
0 commit comments