2019-11-04 00:00:00 +00:00
|
|
|
// check-pass
|
2018-09-25 21:51:35 +00:00
|
|
|
#![allow(dead_code)]
|
2015-03-22 20:13:15 +00:00
|
|
|
// pretty-expanded FIXME #23616
|
|
|
|
|
2014-09-11 22:54:44 +00:00
|
|
|
pub mod two_tuple {
|
2015-02-12 15:29:52 +00:00
|
|
|
pub trait T { fn dummy(&self) { } }
|
2019-05-28 18:46:13 +00:00
|
|
|
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> {
|
2014-09-11 22:54:44 +00:00
|
|
|
P(car, cdr)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
pub mod two_fields {
|
2015-02-12 15:29:52 +00:00
|
|
|
pub trait T { fn dummy(&self) { } }
|
2019-05-28 18:46:13 +00:00
|
|
|
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> {
|
2014-09-11 22:54:44 +00:00
|
|
|
P{ car: car, cdr: cdr }
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
fn main() {}
|