We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 2fdc581 commit f2a74c9Copy full SHA for f2a74c9
compiler/src/dotty/tools/dotc/core/Types.scala
@@ -1528,10 +1528,14 @@ object Types {
1528
/** Hook for adding debug check code when denotations are assigned */
1529
final def checkDenot()(implicit ctx: Context) =
1530
if (Config.checkTypeRefCycles)
1531
- lastDenotation.info match {
1532
- case TypeBounds(lo, hi) =>
1533
- assert(lo ne this)
1534
- assert(hi ne this)
+ lastDenotation match {
+ case d: SingleDenotation =>
+ d.infoOrCompleter match {
+ case TypeBounds(lo, hi) =>
1535
+ assert(lo ne this)
1536
+ assert(hi ne this)
1537
+ case _ =>
1538
+ }
1539
case _ =>
1540
}
1541
0 commit comments