plugins/power-assert/testData/codegen/junit5/JunitAssertTrueMessageSupplier.kt

// FUNCTION: org.junit.jupiter.api.Assertions.assertTrue
// WITH_JUNIT5

import org.junit.jupiter.api.Assertions.assertTrue

fun box() = expectThrowableMessage {
    assertTrue(1 != 1) { "Message:" }
}