• itslilith@lemmy.blahaj.zone
    link
    fedilink
    arrow-up
    2
    ·
    11 months ago

    Not quite, because the Maybe enum is neither int nor null, but it’s own, third thing. So before you can do any operations with the return value, you need to handle both cases that could occur

    • Feathercrown@lemmy.world
      link
      fedilink
      English
      arrow-up
      5
      ·
      11 months ago

      Isn’t that also true with compile-time type checking though? Eg. 0 + x where x is int|null would be detected? I don’t have much experience here so I could be wrong but I can’t think of a case where they’re not equivalent