core.typed tests