[Feature Request] support add constraint on typeVariable while perform virtual dispatch in java query

Is it possible to add class type constraint on TypeVariable while perform virtual dispatch in java query？

Take this sinppet for example：
```java
E data = (E) in.readObject();
data.equals(....);
```
It seems `data` can be any class and have data flow tracked into `equals` method as long as the class has one even if the class is unserializable.