Function compareTsTypes

ark/attest/cache/writeAssertionCache.ts:310–332

(
	l: StringifiableType,
	r: StringifiableType
)

export type TypeRelationship = "subtype" | "supertype" | "equality" | "none"

export const compareTsTypes = (
	l: StringifiableType,
	r: StringifiableType
): TypeRelationship => {
	const lString = l.toString()
	const rString = r.toString()
	// Ensure two unresolvable types are not treated as equivalent
	if (l.isUnresolvable || r.isUnresolvable) return "none"
	// Treat `any` as a supertype of every other type
	if (lString === "any") return rString === "any" ? "equality" : "supertype"
	if (rString === "any") return "subtype"
	// Otherwise, determine if the types are equivalent by checking mutual assignability
	const checker = getInternalTypeChecker()
	const isSubtype = checker.isTypeAssignableTo(l, r)
	const isSupertype = checker.isTypeAssignableTo(r, l)
	return (
		isSubtype ?
			isSupertype ? "equality"
			:	"subtype"
		: isSupertype ? "supertype"
		: "none"
	)
}

export const checkDiagnosticMessages = (
	attestCall: ts.CallExpression,