Function or_inside_globally 

fn or_inside_globally(
    l: ErrorTarget,
    r: ErrorTarget,
) -> Result<ErrorTarget, ExtractionError>

Disjunction of two targets that are the operands of one || inside an outer []

[] does not distribute over ||. Because of this, the operands are merged below the [] into a single target.