• Feathercrown@lemmy.world
    link
    fedilink
    English
    arrow-up
    5
    ·
    1 year 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