fun <T> <ERROR CLASS>.checkGenericNarrowingAssertion(description: String, act: (T.() -> Unit) -> Unit, lazy: T.() -> Unit, vararg otherMethods: <ERROR CLASS><String, T.() -> Unit>): <ERROR CLASS>fun <T> <ERROR CLASS>.checkGenericNarrowingAssertion(description: String, act: (T.() -> Unit) -> Unit, vararg methods: <ERROR CLASS><String, T.() -> Unit>): Unit