find a bug

[ying-hit]

when I use ck to analyze the project trinodb/trino trino,I met a problem, as follows

Exception in thread "main" java.lang.NullPointerException: Cannot invoke "org.eclipse.jdt.internal.compiler.lookup.TypeBinding.isParameterizedType()" because "leftType" is null