JSpecify: work around missing type annotations in cast expression types

E.g., for this:
```java
Object o = ...;
var x = (A<@Nullable String>) o;
```
The type of `(A<@Nullable String>) o` provided by `javac` is `A<String>`, not `A<@Nullable String>`.  We should work around this.