Details

      Description

      typedAnnotated transforms an Annotated tree into a Typed tree. The
      original field of the result is set to the Annotated tree.

      The bug was that typedAnnotated was using the untyped Annotated tree
      as original, but also set its type. When re-typing later on the same
      Annotated tree, the typer would consider it as alreadyTyped. This
      is incorrect, the typer needs to convert Annotated trees to Typed.

      Also, the Annotated tree only had its type field set, but its children
      were still untyped. This crashed the compiler lateron, non-typed trees
      would get out of the typing phase.

        Attachments

          Activity

            People

            • Assignee:
              rytz Lukas Rytz
              Reporter:
              retronym Jason Zaugg
            • Votes:
              0 Vote for this issue
              Watchers:
              2 Start watching this issue

              Dates

              • Created:
                Updated:
                Resolved: