Commit dcfce3f

let lastSkippedInfo: [Type, Type] | undefined;

let incompatibleStack: [DiagnosticMessage, (string | number)?, (string | number)?, (string | number)?, (string | number)?][] = [];

let inPropertyCheck = false;

Debug.assert(relation !== identityRelation || !errorNode, "no error reporting in identity checking");

depth--;

if (result) {

if (result === Ternary.True || depth === 0) {

// If result is definitely true, record all maybe keys as having succeeded

for (let i = maybeStart; i < maybeCount; i++) {

relation.set(maybeKeys[i], RelationComparisonResult.Succeeded | propagatingVarianceFlags);

!(source.aliasTypeArgumentsContainsMarker || target.aliasTypeArgumentsContainsMarker)) {

const variances = getAliasVariances(source.aliasSymbol);

if (variances === emptyArray) {

}

const varianceResult = relateVariances(source.aliasTypeArguments, target.aliasTypeArguments, variances, intersectionState);

if (varianceResult !== undefined) {

// effectively means we measure variance only from type parameter occurrences that aren't nested in

// recursive instantiations of the generic type.

if (variances === emptyArray) {

}

const varianceResult = relateVariances(getTypeArguments(<TypeReference>source), getTypeArguments(<TypeReference>target), variances, intersectionState);

if (varianceResult !== undefined) {