Why casting 'some value typed with type argument' ...

# getting-started

[lhwdev]

Why casting 'some value typed with type argument' does not cause that type to be smartcast?
For example, when you have simple function,

fun <T> test(value: T): T {
    value as Int
    return 123
}

Shouldn't this work?

[lhwdev]

Note: value is smartcast into Int, but T is not.
The error on 123 says The integer literal does not conform to the expected type T.

[Albert Chang]

The cast ensures T is Int, but doesn't ensure Int is T.

[lhwdev]

Thanks, that makes sense.