Function constrain_types 

pub fn constrain_types(
    arg_0: SmallVec<[Fragment; 8]>,
    arg_1: StackFit,
    arg_2: Alignment,
    arg_3: bool,
) -> ((SmallVec<[Fragment; 8]>, StackFit, Alignment, bool), (ArgRef<SmallVec<[Fragment; 8]>>, ArgRef<StackFit>, ArgRef<Alignment>, ArgRef<bool>))