fn validate_simd_shuffle<'tcx>(
    tcx: TyCtxt<'tcx>,
    args: &[Operand<'tcx>],
    span: Span
)