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 fdd43d7 commit b3e006fCopy full SHA for b3e006f
compiler/src/dotty/tools/dotc/core/Types.scala
@@ -3635,6 +3635,9 @@ object Types {
3635
if ann.refersToParamOf(thisLambdaType) then TrueDeps
3636
else compute(status, parent, theAcc)
3637
case _: ThisType | _: BoundType | NoPrefix => status
3638
+ case t: LazyRef =>
3639
+ if t.completed then compute(status, t.ref, theAcc)
3640
+ else Unknown
3641
case _ =>
3642
(if theAcc != null then theAcc else DepAcc()).foldOver(status, tp)
3643
compute(initial, tp, null)
tests/pos/i14771.scala
@@ -0,0 +1,13 @@
1
+trait Layouts:
2
+ type Layout <: {
3
+ def withName(name: String): Layout
4
+ }
5
+ val l: Layout
6
+
7
+val ls = new Layouts:
8
+ class Layout17:
9
+ def withName(name: String): Layout17 = this
10
+ type Layout = Layout17
11
+ val l = Layout17()
12
13
+def test = ls.l
0 commit comments