3 ms·

This is correct - core.typed can't interact with the compiler, it's purely a correctness checking tool.