• I think the key thing here is that it’s possible.

    Exactly!

    I’d expect a 50% overhead to be plausible

    My estimate is:

    • if no thin pointer annotations are used, ever: 2x overhead
    • if thin pointer annotations are used in anger: less than 50% overhead, maybe even parity

    score 2 · canonical