Add the examples to KotlinAssertionsDemo

Author: awelless

documentation/src/docs/asciidoc/release-notes/release-notes-5.12.0-M1.adoc

@@ -50,6 +50,8 @@ JUnit repository on GitHub.
   - Information about published files is now included as attachments.
 
 * Introduced kotlin contracts for kotlin assertion methods.
+* Introduced contracts for Kotlin-specific assertion methods.
+
 
 [[release-notes-5.12.0-M1-junit-jupiter]]
 === JUnit Jupiter

documentation/src/test/kotlin/example/KotlinAssertionsDemo.kt

@@ -19,6 +19,8 @@ import org.junit.jupiter.api.Tag
 import org.junit.jupiter.api.Test
 import org.junit.jupiter.api.assertAll
 import org.junit.jupiter.api.assertDoesNotThrow
+import org.junit.jupiter.api.assertInstanceOf
+import org.junit.jupiter.api.assertNotNull
 import org.junit.jupiter.api.assertThrows
 import org.junit.jupiter.api.assertTimeout
 import org.junit.jupiter.api.assertTimeoutPreemptively
@@ -107,5 +109,29 @@ class KotlinAssertionsDemo {
             Thread.sleep(100)
         }
     }
+
+    @Test
+    fun `assertNotNull with a smart cast`() {
+        val nullablePerson: Person? = person
+
+        assertNotNull(nullablePerson)
+
+        // The compiler smart casts nullablePerson to a non-nullable object.
+        // The safe call operator (?.) isn't required.
+        assertEquals(person.firstName, nullablePerson.firstName)
+        assertEquals(person.lastName, nullablePerson.lastName)
+    }
+
+    @Test
+    fun `assertInstanceOf with a smart cast`() {
+        val maybePerson: Any = person
+
+        assertInstanceOf<Person>(maybePerson)
+
+        // The compiler smart casts maybePerson to a Person object,
+        // allowing to access the Person properties.
+        assertEquals(person.firstName, maybePerson.firstName)
+        assertEquals(person.lastName, maybePerson.lastName)
+    }
 }
 // end::user_guide[]