File tree 1 file changed +36
-0
lines changed 1 file changed +36
-0
lines changed Original file line number Diff line number Diff line change
1
+ // Copyright 2014 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 Borrow < Sized ? Borrowed > {
12
+ fn borrow ( & self ) -> & Borrowed ;
13
+ }
14
+
15
+ impl < T : Sized > Borrow < T > for T {
16
+ fn borrow ( & self ) -> & T { self }
17
+ }
18
+
19
+ trait Foo {
20
+ fn foo ( & self , other : & Self ) ;
21
+ }
22
+
23
+ fn bar < K , Q > ( k : & K , q : & Q ) where K : Borrow < Q > , Q : Foo {
24
+ q. foo ( k. borrow ( ) )
25
+ }
26
+
27
+ struct MyTree < K > ;
28
+
29
+ impl < K > MyTree < K > {
30
+ // This caused a failure in #18906
31
+ fn bar < Q > ( k : & K , q : & Q ) where K : Borrow < Q > , Q : Foo {
32
+ q. foo ( k. borrow ( ) )
33
+ }
34
+ }
35
+
36
+ fn main ( ) { }
You can’t perform that action at this time.
0 commit comments