src/test/ui/polymorphization/issue-74636.rs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

// compile-flags:-Zpolymorphize=on
// build-pass

use std::any::TypeId;

pub fn foo<T: 'static>(_: T) -> TypeId {
    TypeId::of::<T>()
}

fn outer<T: 'static>() {
    foo(|| ());
}

fn main() {
    outer::<u8>();
}