Repository navigation
Remember the pair in is_overlapping_types if at least one of them is an alias - #20127
Merged
ilevkivskyi merged 3 commits intoOct 28, 2025
Merged
Commits
Commits on Oct 27, 2025