1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
|
// issue: #84591
// Subtrait was able to incorrectly extend supertrait lifetimes even when
// supertrait had weaker implied bounds than subtrait.
trait Subtrait<T>: Supertrait {}
trait Supertrait {
fn action(self);
}
fn subs_to_soup<T, U>(x: T)
where
T: Subtrait<U>,
{
soup(x)
}
fn soup<T: Supertrait>(x: T) {
x.action();
}
impl<'a, 'b: 'a> Supertrait for (&'b str, &mut &'a str) {
fn action(self) {
*self.1 = self.0;
}
}
impl<'a, 'b> Subtrait<&'a &'b str> for (&'b str, &mut &'a str) {}
fn main() {
let mut d = "hi";
{
let x = "Hello World".to_string();
subs_to_soup((x.as_str(), &mut d));
//~^ does not live long enough
}
println!("{}", d);
}
|
