Predicate upcastToWiderType
Holds if e occurs in a context where it will be upcast to a wider type.
Import path
import semmle.code.java.security.ArithmeticCommonpredicate upcastToWiderType(Expr e)Holds if e occurs in a context where it will be upcast to a wider type.
import semmle.code.java.security.ArithmeticCommonpredicate upcastToWiderType(Expr e)