File tree Expand file tree Collapse file tree 1 file changed +28
-0
lines changed Expand file tree Collapse file tree 1 file changed +28
-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
+ // run-pass
12
+ // Check that the object bound dyn A + 'a: A is preferred over the
13
+ // where clause bound dyn A + 'static: A.
14
+
15
+ #![ allow( unused) ]
16
+
17
+ trait A {
18
+ fn test ( & self ) ;
19
+ }
20
+
21
+ fn foo ( x : & dyn A )
22
+ where
23
+ dyn A + ' static : A , // Using this bound would lead to a lifetime error.
24
+ {
25
+ x. test ( ) ;
26
+ }
27
+
28
+ fn main ( ) { }
You can’t perform that action at this time.
0 commit comments