Commits on Sep 7, 2024

1. Revert "Drop redundant butNot = Param clause in isAnchor" …

   This reverts commit 9d88c80.
   Closes scala#21521
   
   The `ClassTypeParamCreationFlags` include both `TypeParam` and `Deferred`.
   In effect, a class type parameter was incorrectly considered as an anchor.
   
   For a failing example, one can try asserting:
   ```scala
   || sym.is(Deferred).ensuring(_ == sym.is(Deferred, butNot = Param))
   ```
   in `ImplicitRunInfo#isAnchor` and a test with `summon[Ordering[Int]]`.
   
   In that example, at least,
   the flags happen to be set by `Scala2Unpickler#readDisambiguatedSymbol`
   src/dotty/tools/dotc/core/unpickleScala2/Scala2Unpickler.scala:562.

   

   EugeneFlesselle committed Sep 7, 2024
   Configuration menu

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

   Copy the full SHA

   1b1dd16 View commit details

   Browse the repository at this point in the history