Commits on May 19, 2024

1. Don't re-balance AndTypes arising from supertypes …

   scala#20284 started breaking since we now balance AndTypes to avoid performance drops.
   But (re-)balancing an AndType interferes with the logic that determines which
   symbol is referred by a super select. This is fixed by two changes:
   
    - Form types of super with `AndType` instead of `&`
    - Don't simplify types of super since that would rebalance the underlying AndTypes.
   
   Fixes scala#20284

   

   odersky committed May 19, 2024
   Configuration menu

   • View commit details
   • Copy full SHA for f0560b2
   • Browse repository at this point

   Copy the full SHA

   f0560b2 View commit details

   Browse the repository at this point in the history