Details

    • Subcomponent:
    • Resolved In Build:
      b34
    • CPU:
      unknown
    • OS:
      generic
    • Verification:
      Not verified

      Description

      The check routine in Check.checkType is very specific to assignment/return contexts. As it is, that routine cannot be re-used in different contexts (most notably, method check contexts).

      This is problematic when moving the code forward - in the case of lambda expressions, a lambda can be type-checked in the middle of overload resolution. We need a slick way to define the type-checking routine in a transparent way w.r.t. check context.

        Attachments

          Issue Links

            Activity

              People

              • Assignee:
                mcimadamore Maurizio Cimadamore
                Reporter:
                mcimadamore Maurizio Cimadamore
              • Votes:
                0 Vote for this issue
                Watchers:
                0 Start watching this issue

                Dates

                • Created:
                  Updated:
                  Resolved:
                  Imported:
                  Indexed: