blob: fd5566f35d5141f5f49a39688f40bf03bc3e5ada (
plain)
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
|
// Test that we don't assume that type aliases have the same type parameters
// as the type they alias and then panic when we see this.
type A<'a> = &'a isize;
type B<'a> = Box<A<'a>>;
struct C<'a> {
f: Box<B<'a>>
}
trait FromBox<'a> {
fn from_box(b: Box<B>) -> Self;
}
impl<'a> FromBox<'a> for C<'a> {
fn from_box(b: Box<B>) -> Self {
C { f: b } //~ ERROR
}
}
trait FromTuple<'a> {
fn from_tuple( b: (B,)) -> Self;
}
impl<'a> FromTuple<'a> for C<'a> {
fn from_tuple(b: (B,)) -> Self {
C { f: Box::new(b.0) } //~ ERROR
}
}
fn main() {}
|