| pub type BoxedStr = Box<str>; |
| pub type IntMap = std::collections::HashMap<i64, u64>; |
| |
| pub struct TyPair<T, U = T>(T, U); |
| |
| pub type T0 = TyPair<i32>; |
| pub type T1 = TyPair<i32, u32>; |
| pub type T2<K> = TyPair<i32, K>; |
| pub type T3<Q> = TyPair<Q, Q>; |
| |
| pub struct CtPair<const C: u32, const D: u32 = C>; |
| |
| pub type C0 = CtPair<43, 43>; |
| pub type C1 = CtPair<0, 1>; |
| pub type C2 = CtPair<{1 + 2}, 3>; |
| |
| pub struct Re<'a, U = &'a ()>(&'a (), U); |
| |
| pub type R0<'q> = Re<'q>; |
| pub type R1<'q> = Re<'q, &'q ()>; |
| pub type R2<'q> = Re<'q, &'static ()>; |
| pub type H0 = fn(for<'a> fn(Re<'a>)); |
| pub type H1 = for<'b> fn(for<'a> fn(Re<'a, &'b ()>)); |
| pub type H2 = for<'a> fn(for<'b> fn(Re<'a, &'b ()>)); |
| |
| pub struct Proj<T: Basis, U = <T as Basis>::Assoc>(T, U); |
| pub trait Basis { type Assoc; } |
| impl Basis for () { type Assoc = bool; } |
| |
| pub type P0 = Proj<()>; |
| pub type P1 = Proj<(), bool>; |
| pub type P2 = Proj<(), ()>; |
| |
| pub struct Alpha<T = for<'any> fn(&'any ())>(T); |
| |
| pub type A0 = Alpha; |
| pub type A1 = Alpha<for<'arbitrary> fn(&'arbitrary ())>; |
| |
| pub struct Multi<A = u64, B = u64>(A, B); |
| |
| pub type M0 = Multi<u64, ()>; |
| |
| pub trait Trait<'a, T = &'a ()> {} |
| |
| pub type F = dyn for<'a> Trait<'a>; |
