testServices.assertions.assertEquals(
            expectedResult,
            type1.isEqualTo(type2),
        ) {
            "Expected `$type1` and `$type2` to be ${if (!expectedResult) "un" else ""}equal (`$resultDirective`)."
        }
    }
}

abstract class AbstractLenientTypeEqualityTest : AbstractSemanticSubtypingTest() {