Member predicate VariableTypeInference::AnalyzedVarDef::isIncomplete

Holds if flow analysis results for this node may be incomplete due to the given cause.

predicate isIncomplete(Incompleteness cause)