wycc.lang.SyntaxError: assertion failed

GitHub | DavePearce | 1 year ago
tip
Your exception is missing from the Samebug knowledge base.
Here are the best solutions we found on the Internet.
Click on the to mark the helpful solution and get rewards for you help.
  1. 0

    GitHub comment 627#212289648

    GitHub | 1 year ago | DavePearce
    wycc.lang.SyntaxError: assertion failed
  2. 0

    Complex types cause verifier to give cast exception.

    GitHub | 1 year ago | utting
    java.lang.ClassCastException: wycs.core.SemanticType$And cannot be cast to wycs.core.SemanticType$Array
  3. 0

    Bug with Requires False

    GitHub | 2 years ago | DavePearce
    wycc.lang.SyntaxError$InternalFailure: internal failure, unreachable code
  4. Speed up your debug routine!

    Automated exception search integrated into your IDE

    Root Cause Analysis

    1. wycs.transforms.VerificationCheck$AssertionFailure

      assertion failed

      at wycs.transforms.VerificationCheck.checkValid()
    2. wycs.transforms
      VerificationCheck.apply
      1. wycs.transforms.VerificationCheck.checkValid(VerificationCheck.java:220)
      2. wycs.transforms.VerificationCheck.apply(VerificationCheck.java:164)
      3. wycs.transforms.VerificationCheck.apply(VerificationCheck.java:43)
      3 frames
    3. wycs.builders
      Wyal2WycsBuilder.build
      1. wycs.builders.Wyal2WycsBuilder.process(Wyal2WycsBuilder.java:811)
      2. wycs.builders.Wyal2WycsBuilder.build(Wyal2WycsBuilder.java:208)
      2 frames
    4. wybs.util
      StdProject.build
      1. wybs.util.StdBuildRule.apply(StdBuildRule.java:109)
      2. wybs.util.StdProject.build(StdProject.java:256)
      2 frames
    5. wyc.util
      WycBuildTask.build
      1. wyc.util.WycBuildTask.buildEntries(WycBuildTask.java:518)
      2. wyc.util.WycBuildTask.build(WycBuildTask.java:486)
      2 frames
    6. wyc
      WycMain.run
      1. wyc.WycMain.run(WycMain.java:228)
      1 frame
    7. wyjc
      WyjcMain.main
      1. wyjc.WyjcMain.main(WyjcMain.java:83)
      1 frame