Skip to content
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

Infinite loop in TypeTestsCasts #17435

Closed
WojciechMazur opened this issue May 8, 2023 · 0 comments · Fixed by #17436
Closed

Infinite loop in TypeTestsCasts #17435

WojciechMazur opened this issue May 8, 2023 · 0 comments · Fixed by #17436
Assignees
@liufengyun
Labels
itype:bug itype:crash regression This worked in a previous version but doesn't anymore stat:needs minimization Needs a self contained minimization
Milestone
3.3.1

Comments

@WojciechMazur
Copy link
Contributor

Compiler version

Needs minimization based on Open Community Build plokhotnyuk/jsoniter-scala v2.23.0 Open CB logs

Mentioned during meating that this PR might be responsible: #17382

Output (click arrow to expand)

Error:  ## Exception when compiling 12 sources to /build/repo/jsoniter-scala-macros/jvm/target/scala-3.3.1-RC1-bin-20230504-0e00420-NIGHTLY/test-classes
Error:  java.lang.StackOverflowError
Error:  dotty.tools.dotc.core.Types$Type.dealias(Types.scala:1409)
Error:  dotty.tools.dotc.transform.patmat.SpaceEngine$.rec$1(Space.scala:617)
Error:  dotty.tools.dotc.transform.patmat.SpaceEngine$.decompose(Space.scala:678)
Error:  dotty.tools.dotc.transform.patmat.SpaceEngine$Parts$.unapply(Space.scala:697)
Error:  dotty.tools.dotc.transform.patmat.SpaceEngine$.rec$1(Space.scala:633)
Error:  dotty.tools.dotc.transform.patmat.SpaceEngine$.decompose(Space.scala:678)
Error:  dotty.tools.dotc.transform.patmat.SpaceEngine$Parts$.unapply(Space.scala:697)
Error:  dotty.tools.dotc.transform.patmat.SpaceEngine$.rec$1(Space.scala:633)
Error:  dotty.tools.dotc.transform.patmat.SpaceEngine$.decompose(Space.scala:678)
Error:  dotty.tools.dotc.transform.patmat.SpaceEngine$Parts$.unapply(Space.scala:697)
Error:  dotty.tools.dotc.transform.patmat.SpaceEngine$.rec$1(Space.scala:633)
Error:  dotty.tools.dotc.transform.patmat.SpaceEngine$.decompose(Space.scala:678)
Error:  dotty.tools.dotc.transform.patmat.SpaceEngine$Parts$.unapply(Space.scala:697)
Error:  dotty.tools.dotc.transform.patmat.SpaceEngine$.rec$1(Space.scala:633)
Error:  dotty.tools.dotc.transform.patmat.SpaceEngine$.decompose(Space.scala:678)
Error:  dotty.tools.dotc.transform.patmat.SpaceEngine$Parts$.unapply(Space.scala:697)
Error:  dotty.tools.dotc.transform.patmat.SpaceEngine$.rec$1(Space.scala:638)
Error:  dotty.tools.dotc.transform.patmat.SpaceEngine$.decompose(Space.scala:678)
Error:  dotty.tools.dotc.transform.patmat.SpaceEngine$Parts$.unapply(Space.scala:697)
Error:  dotty.tools.dotc.transform.patmat.Typ.decompose(Space.scala:105)
Error:  dotty.tools.dotc.transform.patmat.Typ.canDecompose(Space.scala:99)
Error:  dotty.tools.dotc.transform.TypeTestsCasts$.isCheckDefinitelyFalse$1(TypeTestsCasts.scala:149)
Error:  dotty.tools.dotc.transform.TypeTestsCasts$.isCheckDefinitelyFalse$1$$anonfun$2(TypeTestsCasts.scala:154)
Error:  scala.collection.immutable.List.forall(List.scala:386)
Error:  dotty.tools.dotc.transform.TypeTestsCasts$.isCheckDefinitelyFalse$1(TypeTestsCasts.scala:154)
Error:  dotty.tools.dotc.transform.TypeTestsCasts$.isCheckDefinitelyFalse$1$$anonfun$2(TypeTestsCasts.scala:154)
Error:  scala.collection.immutable.List.forall(List.scala:386)
Error:  dotty.tools.dotc.transform.TypeTestsCasts$.isCheckDefinitelyFalse$1(TypeTestsCasts.scala:154)
Error:  dotty.tools.dotc.transform.TypeTestsCasts$.isCheckDefinitelyFalse$1$$anonfun$2(TypeTestsCasts.scala:154)
Error:  scala.collection.immutable.List.forall(List.scala:386)
Error:  dotty.tools.dotc.transform.TypeTestsCasts$.isCheckDefinitelyFalse$1(TypeTestsCasts.scala:154)
Error:  dotty.tools.dotc.transform.TypeTestsCasts$.isCheckDefinitelyFalse$1$$anonfun$2(TypeTestsCasts.scala:154)
Error:  scala.collection.immutable.List.forall(List.scala:386)
Error:  dotty.tools.dotc.transform.TypeTestsCasts$.isCheckDefinitelyFalse$1(TypeTestsCasts.scala:154)
Error:  dotty.tools.dotc.transform.TypeTestsCasts$.isCheckDefinitelyFalse$1$$anonfun$2(TypeTestsCasts.scala:154)
Error:  scala.collection.immutable.List.forall(List.scala:386)
Error:  dotty.tools.dotc.transform.TypeTestsCasts$.isCheckDefinitelyFalse$1(TypeTestsCasts.scala:154)
Error:  dotty.tools.dotc.transform.TypeTestsCasts$.isCheckDefinitelyFalse$1$$anonfun$2(TypeTestsCasts.scala:154)
Error:  scala.collection.immutable.List.forall(List.scala:386)
Error:  dotty.tools.dotc.transform.TypeTestsCasts$.isCheckDefinitelyFalse$1(TypeTestsCasts.scala:154)
Error:  dotty.tools.dotc.transform.TypeTestsCasts$.isCheckDefinitelyFalse$1$$anonfun$2(TypeTestsCasts.scala:154)
Error:  scala.collection.immutable.List.forall(List.scala:386)
Error:  dotty.tools.dotc.transform.TypeTestsCasts$.isCheckDefinitelyFalse$1(TypeTestsCasts.scala:154)
Error:  dotty.tools.dotc.transform.TypeTestsCasts$.isCheckDefinitelyFalse$1$$anonfun$2(TypeTestsCasts.scala:154)
Error:  scala.collection.immutable.List.forall(List.scala:386)
Error:  dotty.tools.dotc.transform.TypeTestsCasts$.isCheckDefinitelyFalse$1(TypeTestsCasts.scala:154)
Error:  dotty.tools.dotc.transform.TypeTestsCasts$.isCheckDefinitelyFalse$1$$anonfun$2(TypeTestsCasts.scala:154)
Error:  scala.collection.immutable.List.forall(List.scala:386)
Error:  dotty.tools.dotc.transform.TypeTestsCasts$.isCheckDefinitelyFalse$1(TypeTestsCasts.scala:154)
Error:  dotty.tools.dotc.transform.TypeTestsCasts$.isCheckDefinitelyFalse$1$$anonfun$2(TypeTestsCasts.scala:154)
Error:  scala.collection.immutable.List.forall(List.scala:386)
Error:  dotty.tools.dotc.transform.TypeTestsCasts$.isCheckDefinitelyFalse$1(TypeTestsCasts.scala:154)
Error:  dotty.tools.dotc.transform.TypeTestsCasts$.isCheckDefinitelyFalse$1$$anonfun$2(TypeTestsCasts.scala:154)
Error:  scala.collection.immutable.List.forall(List.scala:386)
Error:  dotty.tools.dotc.transform.TypeTestsCasts$.isCheckDefinitelyFalse$1(TypeTestsCasts.scala:154)
Error:  dotty.tools.dotc.transform.TypeTestsCasts$.isCheckDefinitelyFalse$1$$anonfun$2(TypeTestsCasts.scala:154)
Error:  scala.collection.immutable.List.forall(List.scala:386)
Error:  dotty.tools.dotc.transform.TypeTestsCasts$.isCheckDefinitelyFalse$1(TypeTestsCasts.scala:154)
Error:  dotty.tools.dotc.transform.TypeTestsCasts$.isCheckDefinitelyFalse$1$$anonfun$2(TypeTestsCasts.scala:154)
Error:  scala.collection.immutable.List.forall(List.scala:386)
Error:  dotty.tools.dotc.transform.TypeTestsCasts$.isCheckDefinitelyFalse$1(TypeTestsCasts.scala:154)
Error:  dotty.tools.dotc.transform.TypeTestsCasts$.isCheckDefinitelyFalse$1$$anonfun$2(TypeTestsCasts.scala:154)
Error:  scala.collection.immutable.List.forall(List.scala:386)
Error:  dotty.tools.dotc.transform.TypeTestsCasts$.isCheckDefinitelyFalse$1(TypeTestsCasts.scala:154)
Error:  dotty.tools.dotc.transform.TypeTestsCasts$.isCheckDefinitelyFalse$1$$anonfun$2(TypeTestsCasts.scala:154)
Error:  scala.collection.immutable.List.forall(List.scala:386)
Error:  dotty.tools.dotc.transform.TypeTestsCasts$.isCheckDefinitelyFalse$1(TypeTestsCasts.scala:154)
Error:  dotty.tools.dotc.transform.TypeTestsCasts$.isCheckDefinitelyFalse$1$$anonfun$2(TypeTestsCasts.scala:154)
Error:  scala.collection.immutable.List.forall(List.scala:386)
Error:  dotty.tools.dotc.transform.TypeTestsCasts$.isCheckDefinitelyFalse$1(TypeTestsCasts.scala:154)
Error:  dotty.tools.dotc.transform.TypeTestsCasts$.isCheckDefinitelyFalse$1$$anonfun$2(TypeTestsCasts.scala:154)
Error:  scala.collection.immutable.List.forall(List.scala:386)
Error:  dotty.tools.dotc.transform.TypeTestsCasts$.isCheckDefinitelyFalse$1(TypeTestsCasts.scala:154)
Error:  dotty.tools.dotc.transform.TypeTestsCasts$.isCheckDefinitelyFalse$1$$anonfun$2(TypeTestsCasts.scala:154)
Error:  scala.collection.immutable.List.forall(List.scala:386)
Error:  dotty.tools.dotc.transform.TypeTestsCasts$.isCheckDefinitelyFalse$1(TypeTestsCasts.scala:154)
Error:  dotty.tools.dotc.transform.TypeTestsCasts$.isCheckDefinitelyFalse$1$$anonfun$2(TypeTestsCasts.scala:154)
Error:  scala.collection.immutable.List.forall(List.scala:386)
Error:  dotty.tools.dotc.transform.TypeTestsCasts$.isCheckDefinitelyFalse$1(TypeTestsCasts.scala:154)
Error:  dotty.tools.dotc.transform.TypeTestsCasts$.isCheckDefinitelyFalse$1$$anonfun$2(TypeTestsCasts.scala:154)
Error:  scala.collection.immutable.List.forall(List.scala:386)
Error:  dotty.tools.dotc.transform.TypeTestsCasts$.isCheckDefinitelyFalse$1(TypeTestsCasts.scala:154)
Error:  dotty.tools.dotc.transform.TypeTestsCasts$.isCheckDefinitelyFalse$1$$anonfun$2(TypeTestsCasts.scala:154)
Error:  scala.collection.immutable.List.forall(List.scala:386)
Error:  dotty.tools.dotc.transform.TypeTestsCasts$.isCheckDefinitelyFalse$1(TypeTestsCasts.scala:154)
Error:  dotty.tools.dotc.transform.TypeTestsCasts$.isCheckDefinitelyFalse$1$$anonfun$2(TypeTestsCasts.scala:154)
Error:  scala.collection.immutable.List.forall(List.scala:386)
Error:  dotty.tools.dotc.transform.TypeTestsCasts$.isCheckDefinitelyFalse$1(TypeTestsCasts.scala:154)
Error:  dotty.tools.dotc.transform.TypeTestsCasts$.isCheckDefinitelyFalse$1$$anonfun$2(TypeTestsCasts.scala:154)
Error:  scala.collection.immutable.List.forall(List.scala:386)
Error:  dotty.tools.dotc.transform.TypeTestsCasts$.isCheckDefinitelyFalse$1(TypeTestsCasts.scala:154)
Error:  dotty.tools.dotc.transform.TypeTestsCasts$.isCheckDefinitelyFalse$1$$anonfun$2(TypeTestsCasts.scala:154)
Error:  scala.collection.immutable.List.forall(List.scala:386)
Error:  dotty.tools.dotc.transform.TypeTestsCasts$.isCheckDefinitelyFalse$1(TypeTestsCasts.scala:154)
Error:  dotty.tools.dotc.transform.TypeTestsCasts$.isCheckDefinitelyFalse$1$$anonfun$2(TypeTestsCasts.scala:154)
Error:  scala.collection.immutable.List.forall(List.scala:386)
Error:  dotty.tools.dotc.transform.TypeTestsCasts$.isCheckDefinitelyFalse$1(TypeTestsCasts.scala:154)
Error:  dotty.tools.dotc.transform.TypeTestsCasts$.isCheckDefinitelyFalse$1$$anonfun$2(TypeTestsCasts.scala:154)
Error:  scala.collection.immutable.List.forall(List.scala:386)
Error:  dotty.tools.dotc.transform.TypeTestsCasts$.isCheckDefinitelyFalse$1(TypeTestsCasts.scala:154)
Error:  dotty.tools.dotc.transform.TypeTestsCasts$.isCheckDefinitelyFalse$1$$anonfun$2(TypeTestsCasts.scala:154)
Error:  scala.collection.immutable.List.forall(List.scala:386)
Error:  dotty.tools.dotc.transform.TypeTestsCasts$.isCheckDefinitelyFalse$1(TypeTestsCasts.scala:154)
Error:  dotty.tools.dotc.transform.TypeTestsCasts$.isCheckDefinitelyFalse$1$$anonfun$2(TypeTestsCasts.scala:154)
Error:  scala.collection.immutable.List.forall(List.scala:386)
Error:  dotty.tools.dotc.transform.TypeTestsCasts$.isCheckDefinitelyFalse$1(TypeTestsCasts.scala:154)
Error:  dotty.tools.dotc.transform.TypeTestsCasts$.isCheckDefinitelyFalse$1$$anonfun$2(TypeTestsCasts.scala:154)
Error:  scala.collection.immutable.List.forall(List.scala:386)
Error:  dotty.tools.dotc.transform.TypeTestsCasts$.isCheckDefinitelyFalse$1(TypeTestsCasts.scala:154)
Error:  dotty.tools.dotc.transform.TypeTestsCasts$.isCheckDefinitelyFalse$1$$anonfun$2(TypeTestsCasts.scala:154)
Error:  scala.collection.immutable.List.forall(List.scala:386)
Error:  dotty.tools.dotc.transform.TypeTestsCasts$.isCheckDefinitelyFalse$1(TypeTestsCasts.scala:154)
Error:  dotty.tools.dotc.transform.TypeTestsCasts$.isCheckDefinitelyFalse$1$$anonfun$2(TypeTestsCasts.scala:154)
Error:  scala.collection.immutable.List.forall(List.scala:386)
Error:  dotty.tools.dotc.transform.TypeTestsCasts$.isCheckDefinitelyFalse$1(TypeTestsCasts.scala:154)
Error:  dotty.tools.dotc.transform.TypeTestsCasts$.isCheckDefinitelyFalse$1$$anonfun$2(TypeTestsCasts.scala:154)
Error:  scala.collection.immutable.List.forall(List.scala:386)
Error:  dotty.tools.dotc.transform.TypeTestsCasts$.isCheckDefinitelyFalse$1(TypeTestsCasts.scala:154)
Error:  dotty.tools.dotc.transform.TypeTestsCasts$.isCheckDefinitelyFalse$1$$anonfun$2(TypeTestsCasts.scala:154)
Error:  scala.collection.immutable.List.forall(List.scala:386)
Error:  dotty.tools.dotc.transform.TypeTestsCasts$.isCheckDefinitelyFalse$1(TypeTestsCasts.scala:154)
Error:  dotty.tools.dotc.transform.TypeTestsCasts$.isCheckDefinitelyFalse$1$$anonfun$2(TypeTestsCasts.scala:154)
Error:  scala.collection.immutable.List.forall(List.scala:386)
Error:  dotty.tools.dotc.transform.TypeTestsCasts$.isCheckDefinitelyFalse$1(TypeTestsCasts.scala:154)
Error:  dotty.tools.dotc.transform.TypeTestsCasts$.isCheckDefinitelyFalse$1$$anonfun$2(TypeTestsCasts.scala:154)
Error:  scala.collection.immutable.List.forall(List.scala:386)
Error:  dotty.tools.dotc.transform.TypeTestsCasts$.isCheckDefinitelyFalse$1(TypeTestsCasts.scala:154)
Error:  dotty.tools.dotc.transform.TypeTestsCasts$.isCheckDefinitelyFalse$1$$anonfun$2(TypeTestsCasts.scala:154)
Error:  scala.collection.immutable.List.forall(List.scala:386)
Error:  dotty.tools.dotc.transform.TypeTestsCasts$.isCheckDefinitelyFalse$1(TypeTestsCasts.scala:154)
Error:  dotty.tools.dotc.transform.TypeTestsCasts$.isCheckDefinitelyFalse$1$$anonfun$2(TypeTestsCasts.scala:154)
Error:  scala.collection.immutable.List.forall(List.scala:386)
Error:  dotty.tools.dotc.transform.TypeTestsCasts$.isCheckDefinitelyFalse$1(TypeTestsCasts.scala:154)
Error:  dotty.tools.dotc.transform.TypeTestsCasts$.isCheckDefinitelyFalse$1$$anonfun$2(TypeTestsCasts.scala:154)
Error:  scala.collection.immutable.List.forall(List.scala:386)
...
@WojciechMazur WojciechMazur added itype:bug itype:crash stat:needs minimization Needs a self contained minimization regression This worked in a previous version but doesn't anymore stat:needs triage Every issue needs to have an "area" and "itype" label labels May 8, 2023
@liufengyun liufengyun assigned liufengyun and unassigned dwijnand May 8, 2023
liufengyun added a commit to dotty-staging/dotty that referenced this issue May 8, 2023
@liufengyun
Fix scala#17435: A simpler fix
d0a9c47
@liufengyun liufengyun mentioned this issue May 8, 2023
Merged
liufengyun added a commit to dotty-staging/dotty that referenced this issue May 9, 2023
@liufengyun
Fix scala#17435: A simpler fix
c9dc8e7 
This commit replaces scala#17382 with a simpler fix.
@nicolasstucki nicolasstucki removed the stat:needs triage Every issue needs to have an "area" and "itype" label label May 9, 2023
nicolasstucki added a commit that referenced this issue May 19, 2023
@nicolasstucki
Fix #17435: A simpler fix (#17436)
b67e269 
Fix #17435: A simpler fix for
#17382
@Kordyjan Kordyjan added this to the 3.3.1 milestone Aug 1, 2023
G1ng3r pushed a commit to G1ng3r/dotty that referenced this issue Sep 10, 2023
@liufengyun @G1ng3r
Fix scala#17435: A simpler fix
b3c6141 
This commit replaces scala#17382 with a simpler fix.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@liufengyun liufengyun

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

Successfully merging a pull request may close this issue.

Fix #17435: A simpler fix dotty-staging/dotty
5 participants
@dwijnand @liufengyun @nicolasstucki @Kordyjan @WojciechMazur