• ThunderComplex
    link
    fedilink
    arrow-up
    28
    ·
    2 months ago

    Unfortunately, casting from potato to carrot is a narrowing conversion so your new carrot will lose some properties