stage2: allow @ptrToInt on anything that is a pointer at runtime

This in particular allows @ptrToInt on pointer-like optionals.
16bddecff9Robin Voetter committed on 12/21/2021, 12:41:50 AMparentd562150
1 file changedLine totals unavailable