fn maybe_point_at_variant<'a, 'tcx: 'a>(
    tcx: TyCtxt<'tcx>,
    def: AdtDef<'tcx>,
    patterns: impl Iterator<Item = &'a WitnessPat<'tcx>>
) -> Vec<Span>