fun <T> SpecBody.checkGenericNarrowingAssertion(description: String, act: (T.() -> Unit) -> Unit, immediate: T.() -> Unit, lazy: T.() -> Unit, vararg otherMethods: Pair<String, T.() -> Unit>): Unit