Skip to content

Infinite loop in PatternMatching in arainko/ducktape #21914

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Closed
WojciechMazur opened this issue Nov 9, 2024 · 4 comments · Fixed by #21934
Closed

Infinite loop in PatternMatching in arainko/ducktape #21914

WojciechMazur opened this issue Nov 9, 2024 · 4 comments · Fixed by #21934
Assignees
@noti0na1
Labels
area:pattern-matching itype:bug itype:crash itype:performance regression This worked in a previous version but doesn't anymore stat:needs minimization Needs a self contained minimization
Milestone
3.6.3

Comments

@WojciechMazur
Copy link
Contributor

WojciechMazur commented Nov 9, 2024 •
edited
Loading

Based on OpenCB failure in arainko/ducktape - build logs

Compiler started to crash due to OutOfMemory error, thread dump points to PatternMatching / SpaceEnginge recursive calls. Probably compiler is dealing with infinite loop.

Compiler version

Last good release: 3.6.2-RC1-bin-20241104-8ab7ebe-NIGHTLY
First bad release: 3.6.2-RC1-bin-20241105-7f47867-NIGHTLY

Bisect shows it could have been caused by on of these commits: 17cd9aa 0800e0f

Reproducer

Not yet minimized

To reproduce:

git clone https://github.com/arainko/ducktape  -b v0.2.6 repo
scala compile --server=false repo/ducktape/src/main

Thread dump

Full thread dump available in gist https://gist.github.com/WojciechMazur/e1a958cd532bb18f04cc4876bce548df
Dump below was trimmed to meet the GH issue size limits

"pool-15-thread-7" #823 prio=5 os_prio=31 cpu=41086.56ms elapsed=161.12s tid=0x0000000120961c00 nid=0x21f87 runnable  [0x000000037dde3000]
   java.lang.Thread.State: RUNNABLE
	at scala.collection.mutable.Builder.sizeHint(Builder.scala:69)
	at scala.collection.mutable.Builder.sizeHint$(Builder.scala:68)
	at scala.collection.mutable.ListBuffer.sizeHint(ListBuffer.scala:39)
	at scala.collection.StrictOptimizedSeqOps.appended(StrictOptimizedSeqOps.scala:45)
	at scala.collection.StrictOptimizedSeqOps.appended$(StrictOptimizedSeqOps.scala:43)
	at scala.collection.immutable.List.appended(List.scala:79)
	at scala.collection.SeqOps.$colon$plus(Seq.scala:149)
	at scala.collection.SeqOps.$colon$plus$(Seq.scala:149)
	at scala.collection.AbstractSeq.$colon$plus(Seq.scala:1190)
	at dotty.tools.dotc.transform.patmat.SpaceEngine$.flatten$$anonfun$1$$anonfun$1$$anonfun$1(Space.scala:160)
	at dotty.tools.dotc.transform.patmat.SpaceEngine$$$Lambda$16152/0x00000008023927e8.apply(Unknown Source)
	at scala.collection.immutable.List.map(List.scala:247)
	at scala.collection.immutable.List.map(List.scala:79)
	at dotty.tools.dotc.transform.patmat.SpaceEngine$.flatten$$anonfun$1$$anonfun$1(Space.scala:159)
	at dotty.tools.dotc.transform.patmat.SpaceEngine$$$Lambda$16150/0x0000000802392048.apply(Unknown Source)
	at scala.collection.immutable.LazyList$.$anonfun$flatMapImpl$1(LazyList.scala:1073)
	at scala.collection.immutable.LazyList$$Lambda$16102/0x000000080232d130.apply(Unknown Source)
	at scala.collection.immutable.LazyList.scala$collection$immutable$LazyList$$state$lzycompute(LazyList.scala:282)
	- locked <0x00000007ffc00240> (a scala.collection.immutable.LazyList)
	at scala.collection.immutable.LazyList.scala$collection$immutable$LazyList$$state(LazyList.scala:273)
	at scala.collection.immutable.LazyList.isEmpty(LazyList.scala:292)
	at scala.collection.immutable.LazyList.$anonfun$mapImpl$1(LazyList.scala:539)
	at scala.collection.immutable.LazyList$$Lambda$16103/0x000000080232d3f0.apply(Unknown Source)
	at scala.collection.immutable.LazyList.scala$collection$immutable$LazyList$$state$lzycompute(LazyList.scala:282)
	- locked <0x00000007ffc00288> (a scala.collection.immutable.LazyList)
	at scala.collection.immutable.LazyList.scala$collection$immutable$LazyList$$state(LazyList.scala:273)
	at scala.collection.immutable.LazyList.isEmpty(LazyList.scala:292)
	at scala.collection.immutable.LazyList.$anonfun$mapImpl$1(LazyList.scala:539)
	at scala.collection.immutable.LazyList$$Lambda$16103/0x000000080232d3f0.apply(Unknown Source)
	at scala.collection.immutable.LazyList.scala$collection$immutable$LazyList$$state$lzycompute(LazyList.scala:282)
	- locked <0x00000007ffc01718> (a scala.collection.immutable.LazyList)
	at scala.collection.immutable.LazyList.scala$collection$immutable$LazyList$$state(LazyList.scala:273)
	at scala.collection.immutable.LazyList.isEmpty(LazyList.scala:292)
	at scala.collection.immutable.LazyList$LazyIterator.hasNext(LazyList.scala:1274)
	at scala.collection.immutable.LazyList$.$anonfun$flatMapImpl$1(LazyList.scala:1074)
	at scala.collection.immutable.LazyList$$Lambda$16102/0x000000080232d130.apply(Unknown Source)
	at scala.collection.immutable.LazyList.scala$collection$immutable$LazyList$$state$lzycompute(LazyList.scala:282)
	- locked <0x00000007ffc00320> (a scala.collection.immutable.LazyList)
	at scala.collection.immutable.LazyList.scala$collection$immutable$LazyList$$state(LazyList.scala:273)
	at scala.collection.immutable.LazyList.isEmpty(LazyList.scala:292)
	at scala.collection.immutable.LazyList.$anonfun$mapImpl$1(LazyList.scala:539)
	at scala.collection.immutable.LazyList$$Lambda$16103/0x000000080232d3f0.apply(Unknown Source)
	at scala.collection.immutable.LazyList.scala$collection$immutable$LazyList$$state$lzycompute(LazyList.scala:282)
	- locked <0x00000007ffc00368> (a scala.collection.immutable.LazyList)
	at scala.collection.immutable.LazyList.scala$collection$immutable$LazyList$$state(LazyList.scala:273)
	at scala.collection.immutable.LazyList.isEmpty(LazyList.scala:292)
	at scala.collection.immutable.LazyList.$anonfun$mapImpl$1(LazyList.scala:539)
	at scala.collection.immutable.LazyList$$Lambda$16103/0x000000080232d3f0.apply(Unknown Source)
	at scala.collection.immutable.LazyList.scala$collection$immutable$LazyList$$state$lzycompute(LazyList.scala:282)
	- locked <0x00000007ffc01650> (a scala.collection.immutable.LazyList)
	at scala.collection.immutable.LazyList.scala$collection$immutable$LazyList$$state(LazyList.scala:273)
	at scala.collection.immutable.LazyList.isEmpty(LazyList.scala:292)
	at scala.collection.immutable.LazyList$LazyIterator.hasNext(LazyList.scala:1274)
	at scala.collection.immutable.LazyList$.$anonfun$flatMapImpl$1(LazyList.scala:1074)
	at scala.collection.immutable.LazyList$$Lambda$16102/0x000000080232d130.apply(Unknown Source)
	at scala.collection.immutable.LazyList.scala$collection$immutable$LazyList$$state$lzycompute(LazyList.scala:282)
	- locked <0x00000007ffc01430> (a scala.collection.immutable.LazyList)
	at scala.collection.immutable.LazyList.scala$collection$immutable$LazyList$$state(LazyList.scala:273)
	at scala.collection.immutable.LazyList.isEmpty(LazyList.scala:292)
	at scala.collection.immutable.LazyList$.$anonfun$flatMapImpl$1(LazyList.scala:1072)
	at scala.collection.immutable.LazyList$$Lambda$16102/0x000000080232d130.apply(Unknown Source)
	at scala.collection.immutable.LazyList.scala$collection$immutable$LazyList$$state$lzycompute(LazyList.scala:282)
	- locked <0x00000007ffc01520> (a scala.collection.immutable.LazyList)
	at scala.collection.immutable.LazyList.scala$collection$immutable$LazyList$$state(LazyList.scala:273)
	at scala.collection.immutable.LazyList.isEmpty(LazyList.scala:292)
	at scala.collection.immutable.LazyList.$anonfun$mapImpl$1(LazyList.scala:539)
	at scala.collection.immutable.LazyList$$Lambda$16103/0x000000080232d3f0.apply(Unknown Source)
	at scala.collection.immutable.LazyList.scala$collection$immutable$LazyList$$state$lzycompute(LazyList.scala:282)
	- locked <0x00000007ffc01568> (a scala.collection.immutable.LazyList)
	at scala.collection.immutable.LazyList.scala$collection$immutable$LazyList$$state(LazyList.scala:273)
	at scala.collection.immutable.LazyList.isEmpty(LazyList.scala:292)
	at scala.collection.immutable.LazyList$LazyIterator.hasNext(LazyList.scala:1274)
	at scala.collection.immutable.LazyList$.$anonfun$flatMapImpl$1(LazyList.scala:1074)
	at scala.collection.immutable.LazyList$$Lambda$16102/0x000000080232d130.apply(Unknown Source)
	at scala.collection.immutable.LazyList.scala$collection$immutable$LazyList$$state$lzycompute(LazyList.scala:282)
	- locked <0x00000007feb0c950> (a scala.collection.immutable.LazyList)
	at scala.collection.immutable.LazyList.scala$collection$immutable$LazyList$$state(LazyList.scala:273)
	at scala.collection.immutable.LazyList.isEmpty(LazyList.scala:292)
	at scala.collection.immutable.LazyList.$anonfun$mapImpl$1(LazyList.scala:539)
	at scala.collection.immutable.LazyList$$Lambda$16103/0x000000080232d3f0.apply(Unknown Source)
	at scala.collection.immutable.LazyList.scala$collection$immutable$LazyList$$state$lzycompute(LazyList.scala:282)
	- locked <0x00000007feb0c9a0> (a scala.collection.immutable.LazyList)
	at scala.collection.immutable.LazyList.scala$collection$immutable$LazyList$$state(LazyList.scala:273)
	at scala.collection.immutable.LazyList.isEmpty(LazyList.scala:292)
	at scala.collection.immutable.LazyList$LazyIterator.hasNext(LazyList.scala:1274)
	at scala.collection.immutable.LazyList$.$anonfun$flatMapImpl$1(LazyList.scala:1074)
	at scala.collection.immutable.LazyList$$Lambda$16102/0x000000080232d130.apply(Unknown Source)
	at scala.collection.immutable.LazyList.scala$collection$immutable$LazyList$$state$lzycompute(LazyList.scala:282)
	- locked <0x00000007feb0c788> (a scala.collection.immutable.LazyList)
	at scala.collection.immutable.LazyList.scala$collection$immutable$LazyList$$state(LazyList.scala:273)
	at scala.collection.immutable.LazyList.isEmpty(LazyList.scala:292)
	at scala.collection.immutable.LazyList.$anonfun$mapImpl$1(LazyList.scala:539)
	at scala.collection.immutable.LazyList$$Lambda$16103/0x000000080232d3f0.apply(Unknown Source)
	at scala.collection.immutable.LazyList.scala$collection$immutable$LazyList$$state$lzycompute(LazyList.scala:282)
	- locked <0x00000007feb0c850> (a scala.collection.immutable.LazyList)
	at scala.collection.immutable.LazyList.scala$collection$immutable$LazyList$$state(LazyList.scala:273)
	at scala.collection.immutable.LazyList.isEmpty(LazyList.scala:292)
	at scala.collection.immutable.LazyList$.$anonfun$filterImpl$1(LazyList.scala:1036)
	at scala.collection.immutable.LazyList$$Lambda$16104/0x000000080232d6b0.apply(Unknown Source)
	at scala.collection.immutable.LazyList.scala$collection$immutable$LazyList$$state$lzycompute(LazyList.scala:282)
	- locked <0x00000007feb0c890> (a scala.collection.immutable.LazyList)
	at scala.collection.immutable.LazyList.scala$collection$immutable$LazyList$$state(LazyList.scala:273)
	at scala.collection.immutable.LazyList.isEmpty(LazyList.scala:292)
	at dotty.tools.dotc.transform.patmat.SpaceEngine$.computeSimplify(Space.scala:130)
	at dotty.tools.dotc.transform.patmat.Space.simplify(Space.scala:70)
	at dotty.tools.dotc.transform.patmat.Space.simplify$(Space.scala:52)
	at dotty.tools.dotc.transform.patmat.Or.simplify(Space.scala:112)
	at dotty.tools.dotc.transform.patmat.Space.isSubspace(Space.scala:59)
	at dotty.tools.dotc.transform.patmat.Space.isSubspace$(Space.scala:52)
	at dotty.tools.dotc.transform.patmat.Prod.isSubspace(Space.scala:109)
	at dotty.tools.dotc.transform.patmat.SpaceEngine$.isSubspace(Space.scala:116)
	at dotty.tools.dotc.transform.patmat.SpaceEngine$.minus$$anonfun$4(Space.scala:262)
	at dotty.tools.dotc.transform.patmat.SpaceEngine$$$Lambda$16082/0x00000008023818a0.apply$mcZI$sp(Unknown Source)
	at scala.runtime.java8.JFunction1$mcZI$sp.apply(JFunction1$mcZI$sp.scala:17)
	at scala.collection.immutable.List.exists(List.scala:396)
	at dotty.tools.dotc.transform.patmat.SpaceEngine$.minus(Space.scala:262)
	at dotty.tools.dotc.transform.patmat.SpaceEngine$.sub$1(Space.scala:259)
	at dotty.tools.dotc.transform.patmat.SpaceEngine$.minus$$anonfun$4(Space.scala:262)
	at dotty.tools.dotc.transform.patmat.SpaceEngine$$$Lambda$16082/0x00000008023818a0.apply$mcZI$sp(Unknown Source)
	at scala.runtime.java8.JFunction1$mcZI$sp.apply(JFunction1$mcZI$sp.scala:17)
	at scala.collection.immutable.List.exists(List.scala:396)
	at dotty.tools.dotc.transform.patmat.SpaceEngine$.minus(Space.scala:262)
	at dotty.tools.dotc.transform.patmat.SpaceEngine$.sub$1(Space.scala:259)
	at dotty.tools.dotc.transform.patmat.SpaceEngine$.minus$$anonfun$4(Space.scala:262)
	at dotty.tools.dotc.transform.patmat.SpaceEngine$$$Lambda$16082/0x00000008023818a0.apply$mcZI$sp(Unknown Source)
	at scala.runtime.java8.JFunction1$mcZI$sp.apply(JFunction1$mcZI$sp.scala:17)
	at scala.collection.immutable.List.exists(List.scala:396)
	at dotty.tools.dotc.transform.patmat.SpaceEngine$.minus(Space.scala:262)
	at dotty.tools.dotc.transform.patmat.SpaceEngine$.minus$$anonfun$1(Space.scala:231)
	at dotty.tools.dotc.transform.patmat.SpaceEngine$$$Lambda$16093/0x00000008023876d8.apply(Unknown Source)
	at scala.collection.immutable.LazyList.$anonfun$mapImpl$1(LazyList.scala:540)
	at scala.collection.immutable.LazyList$$Lambda$16109/0x000000080232eae0.apply(Unknown Source)
	at scala.collection.immutable.LazyList.scala$collection$immutable$LazyList$$state$lzycompute(LazyList.scala:282)
	- locked <0x00000007feb0b060> (a scala.collection.immutable.LazyList)
	at scala.collection.immutable.LazyList.scala$collection$immutable$LazyList$$state(LazyList.scala:273)
	at scala.collection.immutable.LazyList.isEmpty(LazyList.scala:292)
	at scala.collection.immutable.LazyList.$anonfun$mapImpl$1(LazyList.scala:539)
	at scala.collection.immutable.LazyList$$Lambda$16109/0x000000080232eae0.apply(Unknown Source)
	at scala.collection.immutable.LazyList.scala$collection$immutable$LazyList$$state$lzycompute(LazyList.scala:282)
	- locked <0x00000007feb0b090> (a scala.collection.immutable.LazyList)
	at scala.collection.immutable.LazyList.scala$collection$immutable$LazyList$$state(LazyList.scala:273)
	at scala.collection.immutable.LazyList.isEmpty(LazyList.scala:292)
	at scala.collection.immutable.LazyList.$anonfun$mapImpl$1(LazyList.scala:539)
	at scala.collection.immutable.LazyList$$Lambda$16109/0x000000080232eae0.apply(Unknown Source)
	at scala.collection.immutable.LazyList.scala$collection$immutable$LazyList$$state$lzycompute(LazyList.scala:282)
	- locked <0x00000007feb0b0c0> (a scala.collection.immutable.LazyList)
	at scala.collection.immutable.LazyList.scala$collection$immutable$LazyList$$state(LazyList.scala:273)
	at scala.collection.immutable.LazyList.isEmpty(LazyList.scala:292)
	at scala.collection.immutable.LazyList.$anonfun$mapImpl$1(LazyList.scala:539)
	at scala.collection.immutable.LazyList$$Lambda$16109/0x000000080232eae0.apply(Unknown Source)
	at scala.collection.immutable.LazyList.scala$collection$immutable$LazyList$$state$lzycompute(LazyList.scala:282)
	- locked <0x00000007feb0b0f0> (a scala.collection.immutable.LazyList)
	at scala.collection.immutable.LazyList.scala$collection$immutable$LazyList$$state(LazyList.scala:273)
	at scala.collection.immutable.LazyList.isEmpty(LazyList.scala:292)
	at scala.collection.immutable.LazyList.$anonfun$mapImpl$1(LazyList.scala:539)
	at scala.collection.immutable.LazyList$$Lambda$16109/0x000000080232eae0.apply(Unknown Source)
	at scala.collection.immutable.LazyList.scala$collection$immutable$LazyList$$state$lzycompute(LazyList.scala:282)
	- locked <0x00000007feb0b138> (a scala.collection.immutable.LazyList)
	at scala.collection.immutable.LazyList.scala$collection$immutable$LazyList$$state(LazyList.scala:273)
	at scala.collection.immutable.LazyList.isEmpty(LazyList.scala:292)
	at scala.collection.immutable.LazyList$.$anonfun$filterImpl$1(LazyList.scala:1036)
	at scala.collection.immutable.LazyList$$$Lambda$16153/0x000000080232f8a0.apply(Unknown Source)
	at scala.collection.immutable.LazyList.scala$collection$immutable$LazyList$$state$lzycompute(LazyList.scala:282)
	- locked <0x00000007feb09b30> (a scala.collection.immutable.LazyList)
	at scala.collection.immutable.LazyList.scala$collection$immutable$LazyList$$state(LazyList.scala:273)
	at scala.collection.immutable.LazyList.isEmpty(LazyList.scala:292)
	at scala.collection.LinearSeqOps.loop$1(LinearSeq.scala:89)
	at scala.collection.LinearSeqOps.lengthCompare(LinearSeq.scala:96)
	at scala.collection.LinearSeqOps.lengthCompare$(LinearSeq.scala:86)
	at scala.collection.immutable.LazyList.lengthCompare(LazyList.scala:261)
	at scala.collection.SeqOps.sizeCompare(Seq.scala:792)
	at scala.collection.SeqOps.sizeCompare$(Seq.scala:792)
	at scala.collection.AbstractSeq.sizeCompare(Seq.scala:1190)
	at scala.collection.IterableOps$SizeCompareOps$.$eq$eq$extension(Iterable.scala:873)
	at dotty.tools.dotc.transform.patmat.SpaceEngine$.computeSimplify(Space.scala:131)
	at dotty.tools.dotc.transform.patmat.Space.simplify(Space.scala:70)
	at dotty.tools.dotc.transform.patmat.Space.simplify$(Space.scala:52)
	at dotty.tools.dotc.transform.patmat.Or.simplify(Space.scala:112)
	at dotty.tools.dotc.transform.patmat.SpaceEngine$.simplify(Space.scala:115)
	at dotty.tools.dotc.transform.patmat.SpaceEngine$.$anonfun$3(Space.scala:129)
	at dotty.tools.dotc.transform.patmat.SpaceEngine$$$Lambda$16095/0x0000000802385000.apply(Unknown Source)
	at scala.collection.immutable.LazyList.$anonfun$mapImpl$1(LazyList.scala:540)
	at scala.collection.immutable.LazyList$$Lambda$16109/0x000000080232eae0.apply(Unknown Source)
	at scala.collection.immutable.LazyList.scala$collection$immutable$LazyList$$state$lzycompute(LazyList.scala:282)
	- locked <0x00000007feac0d90> (a scala.collection.immutable.LazyList)
	at scala.collection.immutable.LazyList.scala$collection$immutable$LazyList$$state(LazyList.scala:273)
	at scala.collection.immutable.LazyList.isEmpty(LazyList.scala:292)
	at scala.collection.immutable.LazyList$.$anonfun$filterImpl$1(LazyList.scala:1036)
	at scala.collection.immutable.LazyList$$$Lambda$16153/0x000000080232f8a0.apply(Unknown Source)
	at scala.collection.immutable.LazyList.scala$collection$immutable$LazyList$$state$lzycompute(LazyList.scala:282)
	- locked <0x00000007feabf338> (a scala.collection.immutable.LazyList)
	at scala.collection.immutable.LazyList.scala$collection$immutable$LazyList$$state(LazyList.scala:273)
	at scala.collection.immutable.LazyList.isEmpty(LazyList.scala:292)
	at scala.collection.LinearSeqOps.loop$1(LinearSeq.scala:89)
	at scala.collection.LinearSeqOps.lengthCompare(LinearSeq.scala:96)
	at scala.collection.LinearSeqOps.lengthCompare$(LinearSeq.scala:86)
	at scala.collection.immutable.LazyList.lengthCompare(LazyList.scala:261)
	at scala.collection.SeqOps.sizeCompare(Seq.scala:792)
	at scala.collection.SeqOps.sizeCompare$(Seq.scala:792)
	at scala.collection.AbstractSeq.sizeCompare(Seq.scala:1190)
	at scala.collection.IterableOps$SizeCompareOps$.$eq$eq$extension(Iterable.scala:873)
	at dotty.tools.dotc.transform.patmat.SpaceEngine$.computeSimplify(Space.scala:131)
	at dotty.tools.dotc.transform.patmat.Space.simplify(Space.scala:70)
	at dotty.tools.dotc.transform.patmat.Space.simplify$(Space.scala:52)
	at dotty.tools.dotc.transform.patmat.Or.simplify(Space.scala:112)
	at dotty.tools.dotc.transform.patmat.SpaceEngine$.simplify(Space.scala:115)
	at dotty.tools.dotc.transform.patmat.SpaceEngine$.$anonfun$3(Space.scala:129)
	at dotty.tools.dotc.transform.patmat.SpaceEngine$$$Lambda$16095/0x0000000802385000.apply(Unknown Source)
	at scala.collection.immutable.LazyList.$anonfun$mapImpl$1(LazyList.scala:540)
	at scala.collection.immutable.LazyList$$Lambda$16109/0x000000080232eae0.apply(Unknown Source)
	at scala.collection.immutable.LazyList.scala$collection$immutable$LazyList$$state$lzycompute(LazyList.scala:282)
	- locked <0x00000007fea138f8> (a scala.collection.immutable.LazyList)
	at scala.collection.immutable.LazyList.scala$collection$immutable$LazyList$$state(LazyList.scala:273)
	at scala.collection.immutable.LazyList.isEmpty(LazyList.scala:292)
	at scala.collection.immutable.LazyList$.$anonfun$filterImpl$1(LazyList.scala:1036)
	at scala.collection.immutable.LazyList$$$Lambda$16153/0x000000080232f8a0.apply(Unknown Source)
	at scala.collection.immutable.LazyList.scala$collection$immutable$LazyList$$state$lzycompute(LazyList.scala:282)
	- locked <0x00000007fea13920> (a scala.collection.immutable.LazyList)
	at scala.collection.immutable.LazyList.scala$collection$immutable$LazyList$$state(LazyList.scala:273)
	at scala.collection.immutable.LazyList.isEmpty(LazyList.scala:292)
	at scala.collection.LinearSeqOps.loop$1(LinearSeq.scala:89)
	at scala.collection.LinearSeqOps.lengthCompare(LinearSeq.scala:96)
	at scala.collection.LinearSeqOps.lengthCompare$(LinearSeq.scala:86)
	at scala.collection.immutable.LazyList.lengthCompare(LazyList.scala:261)
	at scala.collection.SeqOps.sizeCompare(Seq.scala:792)
	at scala.collection.SeqOps.sizeCompare$(Seq.scala:792)
	at scala.collection.AbstractSeq.sizeCompare(Seq.scala:1190)
	at scala.collection.IterableOps$SizeCompareOps$.$eq$eq$extension(Iterable.scala:873)
	at dotty.tools.dotc.transform.patmat.SpaceEngine$.computeSimplify(Space.scala:131)
	at dotty.tools.dotc.transform.patmat.Space.simplify(Space.scala:70)
	at dotty.tools.dotc.transform.patmat.Space.simplify$(Space.scala:52)
	at dotty.tools.dotc.transform.patmat.Or.simplify(Space.scala:112)
	at dotty.tools.dotc.transform.patmat.SpaceEngine$.simplify(Space.scala:115)
	at dotty.tools.dotc.transform.patmat.SpaceEngine$.$anonfun$3(Space.scala:129)
	at dotty.tools.dotc.transform.patmat.SpaceEngine$$$Lambda$16095/0x0000000802385000.apply(Unknown Source)
	at scala.collection.immutable.LazyList.$anonfun$mapImpl$1(LazyList.scala:540)
	at scala.collection.immutable.LazyList$$Lambda$16109/0x000000080232eae0.apply(Unknown Source)
	at scala.collection.immutable.LazyList.scala$collection$immutable$LazyList$$state$lzycompute(LazyList.scala:282)
	- locked <0x00000007fe901c18> (a scala.collection.immutable.LazyList)
	at scala.collection.immutable.LazyList.scala$collection$immutable$LazyList$$state(LazyList.scala:273)
	at scala.collection.immutable.LazyList.isEmpty(LazyList.scala:292)
	at scala.collection.immutable.LazyList$.$anonfun$filterImpl$1(LazyList.scala:1036)
	at scala.collection.immutable.LazyList$$$Lambda$16153/0x000000080232f8a0.apply(Unknown Source)
	at scala.collection.immutable.LazyList.scala$collection$immutable$LazyList$$state$lzycompute(LazyList.scala:282)
	- locked <0x00000007fe9001c0> (a scala.collection.immutable.LazyList)
	at scala.collection.immutable.LazyList.scala$collection$immutable$LazyList$$state(LazyList.scala:273)
	at scala.collection.immutable.LazyList.isEmpty(LazyList.scala:292)
	at scala.collection.LinearSeqOps.loop$1(LinearSeq.scala:89)
	at scala.collection.LinearSeqOps.lengthCompare(LinearSeq.scala:96)
	at scala.collection.LinearSeqOps.lengthCompare$(LinearSeq.scala:86)
	at scala.collection.immutable.LazyList.lengthCompare(LazyList.scala:261)
	at scala.collection.SeqOps.sizeCompare(Seq.scala:792)
	at scala.collection.SeqOps.sizeCompare$(Seq.scala:792)
	at scala.collection.AbstractSeq.sizeCompare(Seq.scala:1190)
	at scala.collection.IterableOps$SizeCompareOps$.$eq$eq$extension(Iterable.scala:873)
	at dotty.tools.dotc.transform.patmat.SpaceEngine$.computeSimplify(Space.scala:131)
	at dotty.tools.dotc.transform.patmat.Space.simplify(Space.scala:70)
	at dotty.tools.dotc.transform.patmat.Space.simplify$(Space.scala:52)
	at dotty.tools.dotc.transform.patmat.Or.simplify(Space.scala:112)
	at dotty.tools.dotc.transform.patmat.SpaceEngine$.simplify(Space.scala:115)
	at dotty.tools.dotc.transform.patmat.SpaceEngine$.$anonfun$3(Space.scala:129)
	at dotty.tools.dotc.transform.patmat.SpaceEngine$$$Lambda$16095/0x0000000802385000.apply(Unknown Source)
	at scala.collection.immutable.LazyList.$anonfun$mapImpl$1(LazyList.scala:540)
	at scala.collection.immutable.LazyList$$Lambda$16103/0x000000080232d3f0.apply(Unknown Source)
	at scala.collection.immutable.LazyList.scala$collection$immutable$LazyList$$state$lzycompute(LazyList.scala:282)
	- locked <0x00000007ff415328> (a scala.collection.immutable.LazyList)
	at scala.collection.immutable.LazyList.scala$collection$immutable$LazyList$$state(LazyList.scala:273)
	at scala.collection.immutable.LazyList.isEmpty(LazyList.scala:292)
	at scala.collection.immutable.LazyList$.$anonfun$filterImpl$1(LazyList.scala:1036)
	at scala.collection.immutable.LazyList$$Lambda$16104/0x000000080232d6b0.apply(Unknown Source)
	at scala.collection.immutable.LazyList.scala$collection$immutable$LazyList$$state$lzycompute(LazyList.scala:282)
	- locked <0x00000007ff415350> (a scala.collection.immutable.LazyList)
	at scala.collection.immutable.LazyList.scala$collection$immutable$LazyList$$state(LazyList.scala:273)
	at scala.collection.immutable.LazyList.isEmpty(LazyList.scala:292)
	at dotty.tools.dotc.transform.patmat.SpaceEngine$.computeSimplify(Space.scala:130)
	at dotty.tools.dotc.transform.patmat.Space.simplify(Space.scala:70)
	at dotty.tools.dotc.transform.patmat.Space.simplify$(Space.scala:52)
	at dotty.tools.dotc.transform.patmat.Or.simplify(Space.scala:112)
	at dotty.tools.dotc.transform.patmat.SpaceEngine$.simplify(Space.scala:115)
	at dotty.tools.dotc.transform.patmat.SpaceEngine$.$anonfun$3(Space.scala:129)
	....
	at dotty.tools.dotc.transform.patmat.Or.simplify(Space.scala:112)
	at dotty.tools.dotc.transform.patmat.SpaceEngine$.simplify(Space.scala:115)
	at dotty.tools.dotc.transform.patmat.SpaceEngine$.computeIsSubspace(Space.scala:184)
	at dotty.tools.dotc.transform.patmat.Space.isSubspace$$anonfun$1(Space.scala:63)
	at dotty.tools.dotc.transform.patmat.Space$$Lambda$16097/0x0000000802385798.apply(Unknown Source)
	at scala.collection.mutable.HashMap.getOrElseUpdate(HashMap.scala:469)
	at dotty.tools.dotc.transform.patmat.Space.isSubspace(Space.scala:63)
	at dotty.tools.dotc.transform.patmat.Space.isSubspace$(Space.scala:52)
	at dotty.tools.dotc.transform.patmat.Prod.isSubspace(Space.scala:109)
	at dotty.tools.dotc.transform.patmat.Space.isSubspace(Space.scala:60)
	at dotty.tools.dotc.transform.patmat.Space.isSubspace$(Space.scala:52)
	at dotty.tools.dotc.transform.patmat.Prod.isSubspace(Space.scala:109)
	at dotty.tools.dotc.transform.patmat.SpaceEngine$.isSubspace(Space.scala:116)
	at dotty.tools.dotc.transform.patmat.SpaceEngine$.minus$$anonfun$4(Space.scala:262)
	at dotty.tools.dotc.transform.patmat.SpaceEngine$$$Lambda$16082/0x00000008023818a0.apply$mcZI$sp(Unknown Source)
	at scala.runtime.java8.JFunction1$mcZI$sp.apply(JFunction1$mcZI$sp.scala:17)
	at scala.collection.immutable.List.exists(List.scala:396)
	at dotty.tools.dotc.transform.patmat.SpaceEngine$.minus(Space.scala:262)
	at dotty.tools.dotc.transform.patmat.SpaceEngine$.minus$$anonfun$2(Space.scala:232)
	at dotty.tools.dotc.transform.patmat.SpaceEngine$$$Lambda$16077/0x00000008023803e8.apply(Unknown Source)
	at scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
	at scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
	at scala.collection.immutable.List.foldLeft(List.scala:79)
	at dotty.tools.dotc.transform.patmat.SpaceEngine$.minus(Space.scala:232)
	at dotty.tools.dotc.transform.patmat.SpaceEngine$.computeIsSubspace(Space.scala:184)
	at dotty.tools.dotc.transform.patmat.Space.isSubspace$$anonfun$1(Space.scala:63)
	at dotty.tools.dotc.transform.patmat.Space$$Lambda$16097/0x0000000802385798.apply(Unknown Source)
	at scala.collection.mutable.HashMap.getOrElseUpdate(HashMap.scala:469)
	at dotty.tools.dotc.transform.patmat.Space.isSubspace(Space.scala:63)
	at dotty.tools.dotc.transform.patmat.Space.isSubspace$(Space.scala:52)
	at dotty.tools.dotc.transform.patmat.Prod.isSubspace(Space.scala:109)
	at dotty.tools.dotc.transform.patmat.SpaceEngine$.isSubspace(Space.scala:116)
	at dotty.tools.dotc.transform.patmat.SpaceEngine$.computeIsSubspace$$anonfun$1(Space.scala:180)
	at dotty.tools.dotc.transform.patmat.SpaceEngine$$$Lambda$16099/0x0000000802384800.apply(Unknown Source)
	at scala.collection.immutable.List.forall(List.scala:387)
	at dotty.tools.dotc.transform.patmat.SpaceEngine$.computeIsSubspace(Space.scala:180)
	at dotty.tools.dotc.transform.patmat.Space.isSubspace$$anonfun$1(Space.scala:63)
	at dotty.tools.dotc.transform.patmat.Space$$Lambda$16097/0x0000000802385798.apply(Unknown Source)
	at scala.collection.mutable.HashMap.getOrElseUpdate(HashMap.scala:469)
	at dotty.tools.dotc.transform.patmat.Space.isSubspace(Space.scala:63)
	at dotty.tools.dotc.transform.patmat.Space.isSubspace$(Space.scala:52)
	at dotty.tools.dotc.transform.patmat.Or.isSubspace(Space.scala:112)
	at dotty.tools.dotc.transform.patmat.SpaceEngine$.isSubspace(Space.scala:116)
	at dotty.tools.dotc.transform.patmat.SpaceEngine$.recur$1(Space.scala:958)
	at dotty.tools.dotc.transform.patmat.SpaceEngine$.checkReachability(Space.scala:975)
	at dotty.tools.dotc.transform.patmat.SpaceEngine$.checkMatch(Space.scala:980)
	at dotty.tools.dotc.transform.PatternMatcher.transformMatch(PatternMatcher.scala:52)
	at dotty.tools.dotc.transform.MegaPhase.goMatch(MegaPhase.scala:816)
	at dotty.tools.dotc.transform.MegaPhase.transformUnnamed$1(MegaPhase.scala:383)
	at dotty.tools.dotc.transform.MegaPhase.transformTree(MegaPhase.scala:454)
	at dotty.tools.dotc.transform.MegaPhase.mapDefDef$1(MegaPhase.scala:265)
	at dotty.tools.dotc.transform.MegaPhase.transformNamed$1(MegaPhase.scala:268)
	at dotty.tools.dotc.transform.MegaPhase.transformTree(MegaPhase.scala:452)
	at dotty.tools.dotc.transform.MegaPhase.loop$1(MegaPhase.scala:465)
	at dotty.tools.dotc.transform.MegaPhase.transformStats(MegaPhase.scala:465)
	at dotty.tools.dotc.transform.MegaPhase.transformUnnamed$1(MegaPhase.scala:376)
	at dotty.tools.dotc.transform.MegaPhase.transformTree(MegaPhase.scala:454)
	at dotty.tools.dotc.transform.MegaPhase.transformNamed$1(MegaPhase.scala:272)
	at dotty.tools.dotc.transform.MegaPhase.transformTree(MegaPhase.scala:452)
	at dotty.tools.dotc.transform.MegaPhase.loop$2(MegaPhase.scala:471)
	at dotty.tools.dotc.transform.MegaPhase.transformBlock(MegaPhase.scala:476)
	at dotty.tools.dotc.transform.MegaPhase.transformUnnamed$1(MegaPhase.scala:315)
	at dotty.tools.dotc.transform.MegaPhase.transformTree(MegaPhase.scala:454)
	at dotty.tools.dotc.transform.MegaPhase.loop$2$$anonfun$1(MegaPhase.scala:474)
	at dotty.tools.dotc.transform.MegaPhase$$Lambda$15114/0x000000080222a840.apply(Unknown Source)
	at dotty.tools.dotc.transform.MegaPhase.loop$2(MegaPhase.scala:476)
	at dotty.tools.dotc.transform.MegaPhase.transformBlock(MegaPhase.scala:476)
	at dotty.tools.dotc.transform.MegaPhase.transformUnnamed$1(MegaPhase.scala:315)
	at dotty.tools.dotc.transform.MegaPhase.transformTree(MegaPhase.scala:454)
	at dotty.tools.dotc.transform.MegaPhase.mapDefDef$1(MegaPhase.scala:265)
	at dotty.tools.dotc.transform.MegaPhase.transformNamed$1(MegaPhase.scala:268)
	at dotty.tools.dotc.transform.MegaPhase.transformTree(MegaPhase.scala:452)
	at dotty.tools.dotc.transform.MegaPhase.loop$1(MegaPhase.scala:465)
	at dotty.tools.dotc.transform.MegaPhase.transformStats(MegaPhase.scala:465)
	at dotty.tools.dotc.transform.MegaPhase.transformUnnamed$1(MegaPhase.scala:376)
	at dotty.tools.dotc.transform.MegaPhase.transformTree(MegaPhase.scala:454)
	at dotty.tools.dotc.transform.MegaPhase.transformNamed$1(MegaPhase.scala:272)
	at dotty.tools.dotc.transform.MegaPhase.transformTree(MegaPhase.scala:452)
	at dotty.tools.dotc.transform.MegaPhase.loop$1(MegaPhase.scala:465)
	at dotty.tools.dotc.transform.MegaPhase.transformStats(MegaPhase.scala:465)
	at dotty.tools.dotc.transform.MegaPhase.transformUnnamed$1(MegaPhase.scala:376)
	at dotty.tools.dotc.transform.MegaPhase.transformTree(MegaPhase.scala:454)
	at dotty.tools.dotc.transform.MegaPhase.transformNamed$1(MegaPhase.scala:272)
	at dotty.tools.dotc.transform.MegaPhase.transformTree(MegaPhase.scala:452)
	at dotty.tools.dotc.transform.MegaPhase.loop$1(MegaPhase.scala:465)
	at dotty.tools.dotc.transform.MegaPhase.transformStats(MegaPhase.scala:465)
	at dotty.tools.dotc.transform.MegaPhase.mapPackage$1(MegaPhase.scala:396)
	at dotty.tools.dotc.transform.MegaPhase.transformUnnamed$1(MegaPhase.scala:399)
	at dotty.tools.dotc.transform.MegaPhase.transformTree(MegaPhase.scala:454)
	at dotty.tools.dotc.transform.MegaPhase.transformUnit(MegaPhase.scala:481)
	at dotty.tools.dotc.transform.MegaPhase.run(MegaPhase.scala:493)
	at dotty.tools.dotc.core.Phases$Phase.runOn$$anonfun$1(Phases.scala:380)
	at dotty.tools.dotc.core.Phases$Phase$$Lambda$15060/0x0000000802215210.applyVoid(Unknown Source)
	at scala.runtime.function.JProcedure1.apply(JProcedure1.java:15)
	at scala.runtime.function.JProcedure1.apply(JProcedure1.java:10)
	at scala.collection.immutable.List.foreach(List.scala:334)
	at dotty.tools.dotc.core.Phases$Phase.runOn(Phases.scala:373)
	at dotty.tools.dotc.Run.runPhases$1$$anonfun$1(Run.scala:343)
	at dotty.tools.dotc.Run$$Lambda$13666/0x0000000801fd0cb0.applyVoid(Unknown Source)
	at scala.runtime.function.JProcedure1.apply(JProcedure1.java:15)
	at scala.runtime.function.JProcedure1.apply(JProcedure1.java:10)
	at scala.collection.ArrayOps$.foreach$extension(ArrayOps.scala:1323)
	at dotty.tools.dotc.Run.runPhases$1(Run.scala:336)
	at dotty.tools.dotc.Run.compileUnits$$anonfun$1(Run.scala:383)
	at dotty.tools.dotc.Run.compileUnits$$anonfun$adapted$1(Run.scala:395)
	at dotty.tools.dotc.Run$$Lambda$13622/0x0000000801f9d4f0.apply(Unknown Source)
	at dotty.tools.dotc.util.Stats$.maybeMonitored(Stats.scala:69)
	at dotty.tools.dotc.Run.compileUnits(Run.scala:395)
	at dotty.tools.dotc.Run.compileSources(Run.scala:282)
	at dotty.tools.dotc.Run.compile(Run.scala:267)
	at dotty.tools.dotc.Driver.doCompile(Driver.scala:37)
	at dotty.tools.xsbt.CompilerBridgeDriver.run(CompilerBridgeDriver.java:141)
	- locked <0x000000064d06feb8> (a dotty.tools.xsbt.CompilerBridgeDriver)
	at dotty.tools.xsbt.CompilerBridge.run(CompilerBridge.java:22)
	at sbt.internal.inc.AnalyzingCompiler.compile(AnalyzingCompiler.scala:91)
	at sbt.internal.inc.MixedAnalyzingCompiler.$anonfun$compile$7(MixedAnalyzingCompiler.scala:196)
	at sbt.internal.inc.MixedAnalyzingCompiler$$Lambda$5256/0x0000000800d2f668.apply$mcV$sp(Unknown Source)
	at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:23)
	at sbt.internal.inc.MixedAnalyzingCompiler.timed(MixedAnalyzingCompiler.scala:252)
	at sbt.internal.inc.MixedAnalyzingCompiler.$anonfun$compile$4(MixedAnalyzingCompiler.scala:186)
	at sbt.internal.inc.MixedAnalyzingCompiler.$anonfun$compile$4$adapted(MixedAnalyzingCompiler.scala:166)
	at sbt.internal.inc.MixedAnalyzingCompiler$$Lambda$5252/0x0000000800d2e6f8.apply(Unknown Source)
	at sbt.internal.inc.JarUtils$.withPreviousJar(JarUtils.scala:241)
	at sbt.internal.inc.MixedAnalyzingCompiler.compileScala$1(MixedAnalyzingCompiler.scala:166)
	at sbt.internal.inc.MixedAnalyzingCompiler.compile(MixedAnalyzingCompiler.scala:214)
	at sbt.internal.inc.IncrementalCompilerImpl.$anonfun$compileInternal$1(IncrementalCompilerImpl.scala:542)
	at sbt.internal.inc.IncrementalCompilerImpl.$anonfun$compileInternal$1$adapted(IncrementalCompilerImpl.scala:542)
	at sbt.internal.inc.IncrementalCompilerImpl$$Lambda$3263/0x00000008009e7d80.apply(Unknown Source)
	at sbt.internal.inc.Incremental$.$anonfun$apply$3(Incremental.scala:178)
	at sbt.internal.inc.Incremental$.$anonfun$apply$3$adapted(Incremental.scala:176)
	at sbt.internal.inc.Incremental$$$Lambda$3268/0x00000008009f4600.apply(Unknown Source)
	at sbt.internal.inc.Incremental$$anon$2.run(Incremental.scala:454)
	at sbt.internal.inc.IncrementalCommon$CycleState.next(IncrementalCommon.scala:117)
	at sbt.internal.inc.IncrementalCommon$$anon$1.next(IncrementalCommon.scala:56)
	at sbt.internal.inc.IncrementalCommon$$anon$1.next(IncrementalCommon.scala:52)
	at sbt.internal.inc.IncrementalCommon.cycle(IncrementalCommon.scala:265)
	at sbt.internal.inc.Incremental$.$anonfun$incrementalCompile$8(Incremental.scala:409)
	at sbt.internal.inc.Incremental$$$Lambda$3305/0x0000000800a092c0.apply(Unknown Source)
	at sbt.internal.inc.Incremental$.withClassfileManager(Incremental.scala:496)
	at sbt.internal.inc.Incremental$.incrementalCompile(Incremental.scala:396)
	at sbt.internal.inc.Incremental$.apply(Incremental.scala:204)
	at sbt.internal.inc.IncrementalCompilerImpl.compileInternal(IncrementalCompilerImpl.scala:542)
	at sbt.internal.inc.IncrementalCompilerImpl.$anonfun$compileIncrementally$1(IncrementalCompilerImpl.scala:496)
	at sbt.internal.inc.IncrementalCompilerImpl$$Lambda$3175/0x00000008009b4c00.apply(Unknown Source)
	at sbt.internal.inc.IncrementalCompilerImpl.handleCompilationError(IncrementalCompilerImpl.scala:332)
	at sbt.internal.inc.IncrementalCompilerImpl.compileIncrementally(IncrementalCompilerImpl.scala:433)
	at sbt.internal.inc.IncrementalCompilerImpl.compile(IncrementalCompilerImpl.scala:137)
	at sbt.Defaults$.compileIncrementalTaskImpl(Defaults.scala:2427)
	at sbt.Defaults$.$anonfun$compileIncrementalTask$2(Defaults.scala:2377)
	at sbt.Defaults$$$Lambda$3168/0x00000008009a5f40.apply(Unknown Source)
	at sbt.internal.server.BspCompileTask$.$anonfun$compute$1(BspCompileTask.scala:41)
	at sbt.internal.server.BspCompileTask$$$Lambda$3170/0x00000008009b3150.apply(Unknown Source)
	at sbt.internal.io.Retry$.apply(Retry.scala:47)
	at sbt.internal.io.Retry$.apply(Retry.scala:29)
	at sbt.internal.io.Retry$.apply(Retry.scala:24)
	at sbt.internal.server.BspCompileTask$.compute(BspCompileTask.scala:41)
	at sbt.Defaults$.$anonfun$compileIncrementalTask$1(Defaults.scala:2375)
	at sbt.Defaults$$$Lambda$815/0x00000008004da078.apply(Unknown Source)
	at scala.Function1.$anonfun$compose$1(Function1.scala:49)
	at scala.Function1$$Lambda$354/0x0000000800361860.apply(Unknown Source)
	at sbt.internal.util.$tilde$greater.$anonfun$$u2219$1(TypeFunctions.scala:63)
	at sbt.internal.util.$tilde$greater$$Lambda$2721/0x00000008008ed1a0.apply(Unknown Source)
	at sbt.std.Transform$$anon$4.work(Transform.scala:69)
	at sbt.Execute.$anonfun$submit$2(Execute.scala:283)
	at sbt.Execute$$Lambda$2751/0x00000008008f4718.apply(Unknown Source)
	at sbt.internal.util.ErrorHandling$.wideConvert(ErrorHandling.scala:24)
	at sbt.Execute.work(Execute.scala:292)
	at sbt.Execute.$anonfun$submit$1(Execute.scala:283)
	at sbt.Execute$$Lambda$2733/0x00000008008f08f8.apply(Unknown Source)
	at sbt.ConcurrentRestrictions$$anon$4.$anonfun$submitValid$1(ConcurrentRestrictions.scala:265)
	at sbt.ConcurrentRestrictions$$anon$4$$Lambda$2748/0x00000008008f3af8.apply(Unknown Source)
	at sbt.CompletionService$$anon$2.call(CompletionService.scala:65)
	at java.util.concurrent.FutureTask.run([email protected]/FutureTask.java:264)
	at java.util.concurrent.Executors$RunnableAdapter.call([email protected]/Executors.java:539)
	at java.util.concurrent.FutureTask.run([email protected]/FutureTask.java:264)
	at java.util.concurrent.ThreadPoolExecutor.runWorker([email protected]/ThreadPoolExecutor.java:1136)
	at java.util.concurrent.ThreadPoolExecutor$Worker.run([email protected]/ThreadPoolExecutor.java:635)
	at java.lang.Thread.run([email protected]/Thread.java:833)
@WojciechMazur WojciechMazur added itype:bug area:pattern-matching itype:performance itype:crash stat:needs minimization Needs a self contained minimization regression This worked in a previous version but doesn't anymore labels Nov 9, 2024
@noti0na1
Copy link
Member

noti0na1 commented Nov 11, 2024 •
edited
Loading

I think the error happens at the pattern match inside object Total extends ConfigParser when checking reachability.

@SethTisue
Copy link
Member

fyi @arainko

@Gedochao
Copy link
Contributor

cc @HarrisL2 @dwijnand

@noti0na1 noti0na1 assigned noti0na1 and unassigned dwijnand Nov 12, 2024
@noti0na1 noti0na1 mentioned this issue Nov 12, 2024
Merged
@noti0na1
Copy link
Member

We should fix this before the release deadline 😔

@WojciechMazur WojciechMazur added this to the 3.6.3 milestone Nov 25, 2024
tgodzik added a commit to scala/scala3-lts that referenced this issue Mar 8, 2025
@tgodzik
Merge pull request #106 from scala/backport-lts-3.3-21934
36a8051 
Backport "Fix scala#21914: Don't project nested wildcard patterns to nullable" to 3.3 LTS
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@noti0na1 noti0na1

Labels
area:pattern-matching itype:bug itype:crash itype:performance regression This worked in a previous version but doesn't anymore stat:needs minimization Needs a self contained minimization
Projects
None yet
Milestone
3.6.3
Development

Successfully merging a pull request may close this issue.

Fix #21914: Don't project nested wildcard patterns to nullable dotty-staging/dotty
5 participants
@SethTisue @dwijnand @noti0na1 @Gedochao @WojciechMazur