Extend is_case_difference to handle digit-letter confusables#144691
Merged
bors merged 1 commit intorust-lang:masterfrom Aug 1, 2025 
Merged
Extend `is_case_difference` to handle digit-letter confusables#144691bors merged 1 commit intorust-lang:masterfrom 
bors merged 1 commit intorust-lang:masterfrom