2018-05-08 08:10:16 -05:00
|
|
|
// compile-flags:-Zprint-mono-items=eager
|
2015-11-02 07:46:39 -06:00
|
|
|
|
|
|
|
#![deny(dead_code)]
|
2017-12-22 08:31:51 -06:00
|
|
|
#![feature(start)]
|
2015-11-02 07:46:39 -06:00
|
|
|
|
|
|
|
struct Struct<T> {
|
|
|
|
x: T,
|
|
|
|
f: fn(x: T) -> T,
|
|
|
|
}
|
|
|
|
|
|
|
|
fn id<T>(x: T) -> T { x }
|
|
|
|
|
|
|
|
impl<T> Struct<T> {
|
|
|
|
|
|
|
|
fn new(x: T) -> Struct<T> {
|
|
|
|
Struct {
|
|
|
|
x: x,
|
|
|
|
f: id
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
fn get<T2>(self, x: T2) -> (T, T2) {
|
|
|
|
(self.x, x)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
pub struct LifeTimeOnly<'a> {
|
|
|
|
_a: &'a u32
|
|
|
|
}
|
|
|
|
|
|
|
|
impl<'a> LifeTimeOnly<'a> {
|
|
|
|
|
2022-09-20 16:19:43 -05:00
|
|
|
//~ MONO_ITEM fn LifeTimeOnly::<'_>::foo
|
2015-11-02 07:46:39 -06:00
|
|
|
pub fn foo(&self) {}
|
2022-09-20 16:19:43 -05:00
|
|
|
//~ MONO_ITEM fn LifeTimeOnly::<'_>::bar
|
2015-11-02 07:46:39 -06:00
|
|
|
pub fn bar(&'a self) {}
|
2022-09-20 16:19:43 -05:00
|
|
|
//~ MONO_ITEM fn LifeTimeOnly::<'_>::baz
|
2015-11-02 07:46:39 -06:00
|
|
|
pub fn baz<'b>(&'b self) {}
|
|
|
|
|
|
|
|
pub fn non_instantiated<T>(&self) {}
|
|
|
|
}
|
|
|
|
|
2020-08-28 08:31:03 -05:00
|
|
|
//~ MONO_ITEM fn start
|
2017-12-22 08:31:51 -06:00
|
|
|
#[start]
|
|
|
|
fn start(_: isize, _: *const *const u8) -> isize {
|
2020-08-28 08:31:03 -05:00
|
|
|
//~ MONO_ITEM fn Struct::<i32>::new
|
|
|
|
//~ MONO_ITEM fn id::<i32>
|
|
|
|
//~ MONO_ITEM fn Struct::<i32>::get::<i16>
|
2015-11-02 07:46:39 -06:00
|
|
|
let _ = Struct::new(0i32).get(0i16);
|
|
|
|
|
2020-08-28 08:31:03 -05:00
|
|
|
//~ MONO_ITEM fn Struct::<i64>::new
|
|
|
|
//~ MONO_ITEM fn id::<i64>
|
|
|
|
//~ MONO_ITEM fn Struct::<i64>::get::<i16>
|
2015-11-02 07:46:39 -06:00
|
|
|
let _ = Struct::new(0i64).get(0i16);
|
|
|
|
|
2020-08-28 08:31:03 -05:00
|
|
|
//~ MONO_ITEM fn Struct::<char>::new
|
|
|
|
//~ MONO_ITEM fn id::<char>
|
|
|
|
//~ MONO_ITEM fn Struct::<char>::get::<i16>
|
2015-11-02 07:46:39 -06:00
|
|
|
let _ = Struct::new('c').get(0i16);
|
|
|
|
|
2020-08-28 08:31:03 -05:00
|
|
|
//~ MONO_ITEM fn Struct::<&str>::new
|
|
|
|
//~ MONO_ITEM fn id::<&str>
|
|
|
|
//~ MONO_ITEM fn Struct::<Struct<&str>>::get::<i16>
|
2015-11-02 07:46:39 -06:00
|
|
|
let _ = Struct::new(Struct::new("str")).get(0i16);
|
|
|
|
|
2020-08-28 08:31:03 -05:00
|
|
|
//~ MONO_ITEM fn Struct::<Struct<&str>>::new
|
|
|
|
//~ MONO_ITEM fn id::<Struct<&str>>
|
2015-11-02 07:46:39 -06:00
|
|
|
let _ = (Struct::new(Struct::new("str")).f)(Struct::new("str"));
|
2017-12-22 08:31:51 -06:00
|
|
|
|
|
|
|
0
|
2015-11-02 07:46:39 -06:00
|
|
|
}
|