blob: f8e73518bad6a284854990ae125fba7c3e9da098 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
//@ run-pass
// This is a smoke test to ensure that type aliases with type parameters
// are accepted by the compiler and that the parameters are correctly
// resolved in the aliased item type.
#![allow(dead_code)]
type Foo<T> = extern "C" fn(T) -> bool;
type Bar<T> = fn(T) -> bool;
fn main() {}
|