Unexpected reified type inference

Question

I expected the below code to be failed to compile at the last line. because it missed some type expression for type inference.

test.kts:

i