Uploaded image for project: 'core.typed'
  1. CTYP-326

Let-aliasing breaks flow inference for results of `class`

    Details

      Description

      The following code complains a NPE is possible from .isArray,
      but clearly the assertion prevents that. This issue is related
      to let-aliasing, probably related to core.typed not knowing how
      to update the type of `c` with the information that it's class
      is non-nil.

      (fn [a :- t/Any]
        (let [c (class a)
              _ (assert c)]
          (.isArray c)))
      

        Attachments

          Activity

            People

            • Assignee:
              Unassigned
              Reporter:
              ambrosebs Ambrose BS
            • Votes:
              0 Vote for this issue
              Watchers:
              0 Start watching this issue

              Dates

              • Created:
                Updated: