Skip to content

Commit efed65a

Browse files
committed
---
yaml --- r: 150879 b: refs/heads/try2 c: 364d82e h: refs/heads/master i: 150877: bfb07fc 150875: 6283119 150871: 32fdaa5 150863: ca065ed 150847: 786a295 v: v3
1 parent cbad049 commit efed65a

File tree

2 files changed

+46
-1
lines changed

2 files changed

+46
-1
lines changed

[refs]

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -5,7 +5,7 @@ refs/heads/snap-stage3: 78a7676898d9f80ab540c6df5d4c9ce35bb50463
55
refs/heads/try: 519addf6277dbafccbb4159db4b710c37eaa2ec5
66
refs/tags/release-0.1: 1f5c5126e96c79d22cb7862f75304136e204f105
77
refs/heads/ndm: f3868061cd7988080c30d6d5bf352a5a5fe2460b
8-
refs/heads/try2: 78baf0e9689c73d549cf194ecd97f704702ec9f8
8+
refs/heads/try2: 364d82e7f3edb03031db9221be107d146615d610
99
refs/heads/dist-snap: ba4081a5a8573875fed17545846f6f6902c8ba8d
1010
refs/tags/release-0.2: c870d2dffb391e14efb05aa27898f1f6333a9596
1111
refs/tags/release-0.3: b5f0d0f648d9a6153664837026ba1be43d3e2503
Lines changed: 45 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,45 @@
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+
// Issue #12856: a lifetime formal binding introduced by a generic fn
12+
// should not upset the variance inference for actual occurrences of
13+
// that lifetime in type expressions.
14+
15+
trait HasLife<'a> { }
16+
17+
trait UseLife01 {
18+
fn refs<'a, H: HasLife<'a>>(&'a self) -> H;
19+
}
20+
21+
trait UseLife02 {
22+
fn refs<'a, T, H: HasType<&'a T>>(&'a self) -> H;
23+
}
24+
25+
26+
trait HasType<T> { }
27+
28+
trait UseLife03<T> {
29+
fn refs<'a, H: HasType<&'a T>>(&'a self) -> H;
30+
}
31+
32+
33+
// (The functions below were not actually a problem observed during
34+
// fixing of #12856; they just seem like natural tests to put in to
35+
// cover a couple more points in the testing space)
36+
37+
pub fn top_refs_1<'a, H: HasLife<'a>>(_s: &'a ()) -> H {
38+
unimplemented!()
39+
}
40+
41+
pub fn top_refs_2<'a, T, H: HasType<&'a T>>(_s: &'a ()) -> H {
42+
unimplemented!()
43+
}
44+
45+
pub fn main() {}

0 commit comments

Comments
 (0)