diff --git a/backend.native/tests/build.gradle b/backend.native/tests/build.gradle
index 31f624ba3ca..1b7b9b9939e 100644
--- a/backend.native/tests/build.gradle
+++ b/backend.native/tests/build.gradle
@@ -1520,6 +1520,10 @@ task kclassEnumArgument(type: KonanLocalTest) {
     source = "codegen/kclass/kClassEnumArgument.kt"
 }
 
+task ktype1(type: KonanLocalTest) {
+    source = "codegen/ktype/ktype1.kt"
+}
+
 task associatedObjects1(type: KonanLocalTest) {
     source = "codegen/associatedObjects/associatedObjects1.kt"
 }
diff --git a/backend.native/tests/codegen/ktype/ktype1.kt b/backend.native/tests/codegen/ktype/ktype1.kt
new file mode 100644
index 00000000000..b6e66034816
--- /dev/null
+++ b/backend.native/tests/codegen/ktype/ktype1.kt
@@ -0,0 +1,58 @@
+/*
+ * Copyright 2010-2019 JetBrains s.r.o. Use of this source code is governed by the Apache 2.0 license
+ * that can be found in the LICENSE file.
+ */
+
+package codegen.ktype.ktype1
+
+import kotlin.test.*
+import kotlin.reflect.*
+
+@UseExperimental(ExperimentalStdlibApi::class)
+inline fun <reified R> kType() = typeOf<R>()
+
+inline fun <reified R> kType(obj: R) = kType<R>()
+
+class C<T>
+class D
+
+fun <T> kTypeForCWithTypeParameter() = kType<C<T>>()
+
+class Outer<T> {
+    companion object Friend
+    inner class Inner<S>
+}
+
+object Object
+
+private val pkg = "codegen.ktype.ktype1"
+
+@Test
+fun testBasics1() {
+    assertEquals("$pkg.C<kotlin.Int?>", kType<C<Int?>>().toString())
+    assertEquals("$pkg.C<$pkg.C<kotlin.Any>>", kType<C<C<Any>>>().toString())
+
+    assertEquals("$pkg.C<kotlin.Any?>", kTypeForCWithTypeParameter<D>().toString())
+    assertEquals("$pkg.Object", kType<Object>().toString())
+    assertEquals("$pkg.Outer.Friend", kType<Outer.Friend>().toString())
+}
+
+@Test
+fun testInner() {
+    val innerKType = kType<Outer<D>.Inner<String>>()
+    assertEquals(Outer.Inner::class, innerKType.classifier)
+    assertEquals(String::class, innerKType.arguments.first().type!!.classifier)
+    assertEquals(D::class, innerKType.arguments.last().type!!.classifier)
+}
+
+@Test
+fun testAnonymousObject() {
+    val obj = object {}
+    val objType = kType(obj)
+
+    assertEquals("(non-denotable type)", objType.toString())
+    assertEquals(obj::class, objType.classifier)
+
+    assertTrue(objType.arguments.isEmpty())
+    assertFalse(objType.isMarkedNullable)
+}
\ No newline at end of file