Conditional Expressions

import java

from ConditionalExpr e
where
  e.getTrueExpr().getType() != e.getFalseExpr().getType() and
  not e.getTrueExpr().getType() instanceof NullType and
  not e.getFalseExpr().getType() instanceof NullType
select e

Description

Finds conditional expressions of the form '... ? ... : ...' where the types of the resulting expressions differ