But will it run? I’m used to typescript where it’s not checked at runtime but you can’t “build” unsafe types I’d assume it’s the same here