fn contains_param(ty: Ty<'_>, index: u32) -> bool