summary refs log tree commit diff
path: root/src/test/ui/polymorphization/promoted-function-3.rs
blob: 1c84df13e10b00f8fb13676babd6d18063939cde (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
// run-pass
// compile-flags: -Zpolymorphize=on -Zmir-opt-level=3

fn caller<T, U>() -> &'static usize {
    callee::<U>()
}

fn callee<T>() -> &'static usize {
    &std::mem::size_of::<T>()
}

fn main() {
    assert_eq!(caller::<(), ()>(), &0);
}