File tree 1 file changed +39
-0
lines changed
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