1    private@
2    
3    type A<U, V> =
4        let u : U
5        let v : V
6    
7    typealias B<T> = A<u32, T>
8    
9    let f (x : B<i32>) = ()
10