We have another solution on the table: `x` in `x a...

# language-proposals

[dmitry.petrov]

We have another solution on the table: x in x as T should be resolved with an expected type T.
So, code like findViewById(...) as MyView would work as it did before.

[Ruckus]

I don't entirely understand this. I assume this would only affect calls to generic functions. Would it convert findViewById(...) as MyView to findViewById<MyView>(...), or would it just be some sort of compiler intrinsic (since the type is erased anyway)?

[dmitry.petrov]

When you infer types for a generic call, there's an "expected type" for an expression that is taken into account as an additional constraint. So yes, it will affect inference for other expressions as well, although from our practice it's usually what people actually expect writing code like foo() as Bar.

[Ruckus]

Ah, I see. For some reason I didn't realize you meant it would be part of type inference. Thanks for the explanation 🙂