[john_miller]

Could you share a link or keyword about async type checking and 'compile only'?

[koolba]

See the sibling comment.