fix(semantic): use exclusive upper bound in ExpansionOffset::mapped TextSpan.end is exclusive throughout the codebase, so an offset exactly at a mapping's span.end lies outside that mapping. Replace the inclusive <= span.end check with an exclusive - #10017

fix(semantic): use exclusive upper bound in ExpansionOffset::mapped TextSpan.end is exclusive throughout the codebase, so an offset exactly at a mapping's span.end lies outside that mapping. Replace the inclusive <= span.end check with an exclusive #10017

orizi merged 1 commit into

mainstarkware-libs/cairo:mainfrom

orizi/06-01-fix_semantic_use_exclusive_upper_bound_in_expansionoffset_mapped_textspan.end_is_exclusive_throughout_the_codebase_so_an_offset_exactly_at_a_mapping_s_span.end_lies_outside_that_mapping._replace_the_inclusive_span.end_checstarkware-libs/cairo:orizi/06-01-fix_semantic_use_exclusive_upper_bound_in_expansionoffset_mapped_textspan.end_is_exclusive_throughout_the_codebase_so_an_offset_exactly_at_a_mapping_s_span.end_lies_outside_that_mapping._replace_the_inclusive_span.end_checCopy head branch name to clipboard