type KnownUndefinedVariableInfoWithName = KnownUndefinedVariableInfo & {
    name: string;
    resultType: 'undefined';
};