Function push_ty_pat 

fn push_ty_pat<I: Interner>(
    stack: &mut SmallVec<[<I as Interner>::GenericArg; 8]>,
    pat: I::Pat,
)