blob: d53ce9a1db86fd714f0b4aeb09d59f3e2de0d17c (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
// build-pass (FIXME(62277): could be check-pass?)
#![allow(dead_code)]
// pretty-expanded FIXME #23616
pub mod two_tuple {
pub trait T { fn dummy(&self) { } }
pub struct P<'a>(&'a (dyn T + 'a), &'a (dyn T + 'a));
pub fn f<'a>(car: &'a dyn T, cdr: &'a dyn T) -> P<'a> {
P(car, cdr)
}
}
pub mod two_fields {
pub trait T { fn dummy(&self) { } }
pub struct P<'a> { car: &'a (dyn T + 'a), cdr: &'a (dyn T + 'a) }
pub fn f<'a>(car: &'a dyn T, cdr: &'a dyn T) -> P<'a> {
P{ car: car, cdr: cdr }
}
}
fn main() {}
|
