Uploaded image for project: 'JDK'
  1. JDK
  2. JDK-8333333

Reconsider computing "completesNormally" for case blocks inside Attr

XMLWordPrintable

    • Icon: Task Task
    • Resolution: Unresolved
    • Icon: P4 P4
    • 25
    • 23
    • tools
    • None

      Attr.handleSwitch computes completesNormally for case blocks. This may slow down attribution unnecessarily, as it is also done while doing speculative attribution, and will also evaluate exhaustiveness.

            abimpoudis Angelos Bimpoudis
            jlahoda Jan Lahoda
            Votes:
            0 Vote for this issue
            Watchers:
            1 Start watching this issue

              Created:
              Updated: