about summary refs log tree commit diff
path: root/tests/ui/type-alias/type-param.rs
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() {}