diff --git a/backend.native/tests/build.gradle b/backend.native/tests/build.gradle
index 4ade767ad71..a819e707bb2 100644
--- a/backend.native/tests/build.gradle
+++ b/backend.native/tests/build.gradle
@@ -3788,6 +3788,7 @@ if (isAppleTarget(project)) {
                 }
 
                 extraOpts "-Xembed-bitcode-marker"
+                extraOpts "-Xobjc-generics"
                 extraOpts "-Xemit-lazy-objc-header=$lazyHeader"
                 extraOpts project.globalTestArgs
             }
@@ -3831,6 +3832,7 @@ if (isAppleTarget(project)) {
                 }
 
                 extraOpts "-Xembed-bitcode"
+                extraOpts "-Xobjc-generics"
                 extraOpts project.globalTestArgs
             }
         }
diff --git a/backend.native/tests/framework/stdlib/stdlib.swift b/backend.native/tests/framework/stdlib/stdlib.swift
index 23d00392296..298048677cd 100644
--- a/backend.native/tests/framework/stdlib/stdlib.swift
+++ b/backend.native/tests/framework/stdlib/stdlib.swift
@@ -147,7 +147,7 @@ class StdlibTests : TestProvider {
         try assertEquals(actual: smd.object(forKey: "XYZ" as NSString) as! Int, expected: 321, "Get element from Kotlin")
     }
 
-    func zeroTo(_ n: Int32) -> KotlinArray { return KotlinArray(size: n) { $0 } }
+    func zeroTo(_ n: Int32) -> KotlinArray<AnyObject> { return KotlinArray<AnyObject>(size: n) { $0 } }
 
     func testList() throws {
         let elements = zeroTo(5)
@@ -216,10 +216,10 @@ class StdlibTests : TestProvider {
         try applyVoid { $0.add("bar") }
         try applyVoid { $0.remove("baz") }
         try applyVoid { $0.add("baz") }
-        try applyVoid { $0.add(TripleVals(first: 1, second: 2, third: 3)) }
-        try apply { $0.member(TripleVals(first: 1, second: 2, third: 3)) as! TripleVals }
+        try applyVoid { $0.add(TripleVals<NSNumber>(first: 1, second: 2, third: 3)) }
+        try apply { $0.member(TripleVals<NSNumber>(first: 1, second: 2, third: 3)) as! TripleVals<NSNumber> }
         try apply { $0.member(42) == nil }
-        try applyVoid { $0.remove(TripleVals(first: 1, second: 2, third: 3)) }
+        try applyVoid { $0.remove(TripleVals<NSNumber>(first: 1, second: 2, third: 3)) }
 
         let NULL0: Any? = nil
         let NULL = NULL0 as Any
@@ -259,7 +259,7 @@ class StdlibTests : TestProvider {
         try apply { $0.object(forKey: 42) == nil }
         try applyVoid { $0.setObject(42, forKey: 42 as NSNumber) }
         try applyVoid { $0.setObject(17, forKey: "foo" as NSString) }
-        let triple = TripleVals(first: 3, second: 2, third: 1)
+        let triple = TripleVals<NSNumber>(first: 3, second: 2, third: 1)
         try applyVoid { $0.setObject("bar", forKey: triple) }
         try applyVoid { $0.removeObject(forKey: 42) }
         try apply { $0.count }
@@ -314,9 +314,9 @@ class StdlibTests : TestProvider {
     }
 
     func testSet() throws {
-        let elements = KotlinArray(size: 2) { index in nil }
+        let elements = KotlinArray<AnyObject>(size: 2) { index in nil }
         elements.set(index: 0, value: nil)
-        elements.set(index: 1, value: 42)
+        elements.set(index: 1, value: 42 as NSNumber)
         let set = StdlibKt.set(elements: elements) as! NSSet
         try assertEquals(actual: set.count, expected: 2)
         try assertEquals(actual: set.member(NSNull()) as! NSNull, expected: NSNull())
@@ -331,12 +331,12 @@ class StdlibTests : TestProvider {
     }
 
     func testMap() throws {
-        let elements = KotlinArray(size: 6) { index in nil }
+        let elements = KotlinArray<AnyObject>(size: 6) { index in nil }
         elements.set(index: 0, value: nil)
-        elements.set(index: 1, value: 42)
-        elements.set(index: 2, value: "foo")
-        elements.set(index: 3, value: "bar")
-        elements.set(index: 4, value: 42)
+        elements.set(index: 1, value: 42 as NSNumber)
+        elements.set(index: 2, value: "foo" as NSString)
+        elements.set(index: 3, value: "bar" as NSString)
+        elements.set(index: 4, value: 42 as NSNumber)
         elements.set(index: 5, value: nil)
 
         let map = StdlibKt.map(keysAndValues: elements) as! NSDictionary
diff --git a/backend.native/tests/framework/values/expectedLazy.h b/backend.native/tests/framework/values/expectedLazy.h
index 1354379d1b3..71188cf202a 100644
--- a/backend.native/tests/framework/values/expectedLazy.h
+++ b/backend.native/tests/framework/values/expectedLazy.h
@@ -125,8 +125,8 @@ __attribute__((swift_name("DelegateClass")))
 @interface ValuesDelegateClass : ValuesBase <ValuesKotlinReadWriteProperty>
 - (instancetype)init __attribute__((swift_name("init()"))) __attribute__((objc_designated_initializer));
 + (instancetype)new __attribute__((availability(swift, unavailable, message="use object initializers instead")));
-- (ValuesKotlinArray *)getValueThisRef:(ValuesKotlinNothing * _Nullable)thisRef property:(id<ValuesKotlinKProperty>)property __attribute__((swift_name("getValue(thisRef:property:)")));
-- (void)setValueThisRef:(ValuesKotlinNothing * _Nullable)thisRef property:(id<ValuesKotlinKProperty>)property value:(ValuesKotlinArray *)value __attribute__((swift_name("setValue(thisRef:property:value:)")));
+- (ValuesKotlinArray<NSString *> *)getValueThisRef:(ValuesKotlinNothing * _Nullable)thisRef property:(id<ValuesKotlinKProperty>)property __attribute__((swift_name("getValue(thisRef:property:)")));
+- (void)setValueThisRef:(ValuesKotlinNothing * _Nullable)thisRef property:(id<ValuesKotlinKProperty>)property value:(ValuesKotlinArray<NSString *> *)value __attribute__((swift_name("setValue(thisRef:property:value:)")));
 @end;
 
 __attribute__((swift_name("I")))
@@ -186,7 +186,7 @@ __attribute__((swift_name("ExtConstrClass")))
 
 __attribute__((objc_subclassing_restricted))
 __attribute__((swift_name("Enumeration")))
-@interface ValuesEnumeration : ValuesKotlinEnum
+@interface ValuesEnumeration : ValuesKotlinEnum<ValuesEnumeration *>
 + (instancetype)alloc __attribute__((unavailable));
 + (instancetype)allocWithZone:(struct _NSZone *)zone __attribute__((unavailable));
 - (instancetype)initWithName:(NSString *)name ordinal:(int32_t)ordinal __attribute__((swift_name("init(name:ordinal:)"))) __attribute__((objc_designated_initializer)) __attribute__((unavailable));
@@ -199,34 +199,34 @@ __attribute__((swift_name("Enumeration")))
 
 __attribute__((objc_subclassing_restricted))
 __attribute__((swift_name("TripleVals")))
-@interface ValuesTripleVals : ValuesBase
-- (instancetype)initWithFirst:(id _Nullable)first second:(id _Nullable)second third:(id _Nullable)third __attribute__((swift_name("init(first:second:third:)"))) __attribute__((objc_designated_initializer));
+@interface ValuesTripleVals<T> : ValuesBase
+- (instancetype)initWithFirst:(T _Nullable)first second:(T _Nullable)second third:(T _Nullable)third __attribute__((swift_name("init(first:second:third:)"))) __attribute__((objc_designated_initializer));
 - (BOOL)isEqual:(id _Nullable)other __attribute__((swift_name("isEqual(_:)")));
 - (NSUInteger)hash __attribute__((swift_name("hash()")));
 - (NSString *)description __attribute__((swift_name("description()")));
-- (id _Nullable)component1 __attribute__((swift_name("component1()")));
-- (id _Nullable)component2 __attribute__((swift_name("component2()")));
-- (id _Nullable)component3 __attribute__((swift_name("component3()")));
-- (ValuesTripleVals *)doCopyFirst:(id _Nullable)first second:(id _Nullable)second third:(id _Nullable)third __attribute__((swift_name("doCopy(first:second:third:)")));
-@property (readonly) id _Nullable first __attribute__((swift_name("first")));
-@property (readonly) id _Nullable second __attribute__((swift_name("second")));
-@property (readonly) id _Nullable third __attribute__((swift_name("third")));
+- (T _Nullable)component1 __attribute__((swift_name("component1()")));
+- (T _Nullable)component2 __attribute__((swift_name("component2()")));
+- (T _Nullable)component3 __attribute__((swift_name("component3()")));
+- (ValuesTripleVals<T> *)doCopyFirst:(T _Nullable)first second:(T _Nullable)second third:(T _Nullable)third __attribute__((swift_name("doCopy(first:second:third:)")));
+@property (readonly) T _Nullable first __attribute__((swift_name("first")));
+@property (readonly) T _Nullable second __attribute__((swift_name("second")));
+@property (readonly) T _Nullable third __attribute__((swift_name("third")));
 @end;
 
 __attribute__((objc_subclassing_restricted))
 __attribute__((swift_name("TripleVars")))
-@interface ValuesTripleVars : ValuesBase
-- (instancetype)initWithFirst:(id _Nullable)first second:(id _Nullable)second third:(id _Nullable)third __attribute__((swift_name("init(first:second:third:)"))) __attribute__((objc_designated_initializer));
+@interface ValuesTripleVars<T> : ValuesBase
+- (instancetype)initWithFirst:(T _Nullable)first second:(T _Nullable)second third:(T _Nullable)third __attribute__((swift_name("init(first:second:third:)"))) __attribute__((objc_designated_initializer));
 - (NSString *)description __attribute__((swift_name("description()")));
 - (BOOL)isEqual:(id _Nullable)other __attribute__((swift_name("isEqual(_:)")));
 - (NSUInteger)hash __attribute__((swift_name("hash()")));
-- (id _Nullable)component1 __attribute__((swift_name("component1()")));
-- (id _Nullable)component2 __attribute__((swift_name("component2()")));
-- (id _Nullable)component3 __attribute__((swift_name("component3()")));
-- (ValuesTripleVars *)doCopyFirst:(id _Nullable)first second:(id _Nullable)second third:(id _Nullable)third __attribute__((swift_name("doCopy(first:second:third:)")));
-@property id _Nullable first __attribute__((swift_name("first")));
-@property id _Nullable second __attribute__((swift_name("second")));
-@property id _Nullable third __attribute__((swift_name("third")));
+- (T _Nullable)component1 __attribute__((swift_name("component1()")));
+- (T _Nullable)component2 __attribute__((swift_name("component2()")));
+- (T _Nullable)component3 __attribute__((swift_name("component3()")));
+- (ValuesTripleVars<T> *)doCopyFirst:(T _Nullable)first second:(T _Nullable)second third:(T _Nullable)third __attribute__((swift_name("doCopy(first:second:third:)")));
+@property T _Nullable first __attribute__((swift_name("first")));
+@property T _Nullable second __attribute__((swift_name("second")));
+@property T _Nullable third __attribute__((swift_name("third")));
 @end;
 
 __attribute__((swift_name("WithCompanionAndObject")))
@@ -325,7 +325,7 @@ __attribute__((swift_name("WithGenericDeeply.Nested")))
 
 __attribute__((objc_subclassing_restricted))
 __attribute__((swift_name("WithGenericDeeply.NestedType")))
-@interface ValuesWithGenericDeeplyNestedType : ValuesBase
+@interface ValuesWithGenericDeeplyNestedType<T> : ValuesBase
 - (instancetype)init __attribute__((swift_name("init()"))) __attribute__((objc_designated_initializer));
 + (instancetype)new __attribute__((availability(swift, unavailable, message="use object initializers instead")));
 @property (readonly) int32_t thirtyThree __attribute__((swift_name("thirtyThree")));
@@ -399,9 +399,10 @@ __attribute__((swift_name("TransformWithDefault")))
 
 __attribute__((objc_subclassing_restricted))
 __attribute__((swift_name("TransformInheritingDefault")))
-@interface ValuesTransformInheritingDefault : ValuesBase <ValuesTransformWithDefault>
+@interface ValuesTransformInheritingDefault<T> : ValuesBase <ValuesTransformWithDefault>
 - (instancetype)init __attribute__((swift_name("init()"))) __attribute__((objc_designated_initializer));
 + (instancetype)new __attribute__((availability(swift, unavailable, message="use object initializers instead")));
+- (T _Nullable)mapValue:(T _Nullable)value __attribute__((swift_name("map(value:)")));
 @end;
 
 __attribute__((swift_name("TransformIntString")))
@@ -622,7 +623,7 @@ __attribute__((swift_name("TestInvalidIdentifiers.Bar_")))
 
 __attribute__((objc_subclassing_restricted))
 __attribute__((swift_name("TestInvalidIdentifiers.E")))
-@interface ValuesTestInvalidIdentifiersE : ValuesKotlinEnum
+@interface ValuesTestInvalidIdentifiersE : ValuesKotlinEnum<ValuesTestInvalidIdentifiersE *>
 + (instancetype)alloc __attribute__((unavailable));
 + (instancetype)allocWithZone:(struct _NSZone *)zone __attribute__((unavailable));
 - (instancetype)initWithName:(NSString *)name ordinal:(int32_t)ordinal __attribute__((swift_name("init(name:ordinal:)"))) __attribute__((objc_designated_initializer)) __attribute__((unavailable));
@@ -1073,7 +1074,7 @@ __attribute__((swift_name("ValuesKt")))
 + (NSString *)funArgumentFoo:(NSString *(^)(void))foo __attribute__((swift_name("funArgument(foo:)")));
 + (id _Nullable)genericFooT:(id _Nullable)t foo:(id _Nullable (^)(id _Nullable))foo __attribute__((swift_name("genericFoo(t:foo:)")));
 + (id)fooGenericNumberR:(id)r foo:(id (^)(id))foo __attribute__((swift_name("fooGenericNumber(r:foo:)")));
-+ (NSArray<id> *)varargToListArgs:(ValuesKotlinArray *)args __attribute__((swift_name("varargToList(args:)")));
++ (NSArray<id> *)varargToListArgs:(ValuesKotlinArray<id> *)args __attribute__((swift_name("varargToList(args:)")));
 + (NSString *)subExt:(NSString *)receiver i:(int32_t)i __attribute__((swift_name("subExt(_:i:)")));
 + (NSString *)toString:(id _Nullable)receiver __attribute__((swift_name("toString(_:)")));
 + (void)print:(id _Nullable)receiver __attribute__((swift_name("print(_:)")));
@@ -1094,8 +1095,8 @@ __attribute__((swift_name("ValuesKt")))
 + (ValuesInt * _Nullable)getValueOrNull1:(id _Nullable)receiver __attribute__((swift_name("getValueOrNull1(_:)")));
 + (NSString *)getValue2:(id)receiver __attribute__((swift_name("getValue2(_:)")));
 + (NSString * _Nullable)getValueOrNull2:(id _Nullable)receiver __attribute__((swift_name("getValueOrNull2(_:)")));
-+ (ValuesTripleVals * _Nullable)getValue3:(id _Nullable)receiver __attribute__((swift_name("getValue3(_:)")));
-+ (ValuesTripleVals * _Nullable)getValueOrNull3:(id _Nullable)receiver __attribute__((swift_name("getValueOrNull3(_:)")));
++ (ValuesTripleVals<id> * _Nullable)getValue3:(id _Nullable)receiver __attribute__((swift_name("getValue3(_:)")));
++ (ValuesTripleVals<id> * _Nullable)getValueOrNull3:(id _Nullable)receiver __attribute__((swift_name("getValueOrNull3(_:)")));
 + (BOOL)isFrozenObj:(id)obj __attribute__((swift_name("isFrozen(obj:)")));
 + (id)kotlinLambdaBlock:(id (^)(id))block __attribute__((swift_name("kotlinLambda(block:)")));
 + (int64_t)multiplyInt:(int32_t)int_ long:(int64_t)long_ __attribute__((swift_name("multiply(int:long:)")));
@@ -1123,7 +1124,7 @@ __attribute__((swift_name("ValuesKt")))
 + (BOOL)testInterfaceTypeCheckX:(id)x __attribute__((swift_name("testInterfaceTypeCheck(x:)")));
 + (int32_t)testAbstractInterfaceCallX:(id<ValuesIAbstractInterface>)x __attribute__((swift_name("testAbstractInterfaceCall(x:)")));
 + (int32_t)testAbstractInterfaceCall2X:(id<ValuesIAbstractInterface2>)x __attribute__((swift_name("testAbstractInterfaceCall2(x:)")));
-+ (void)fooA:(ValuesKotlinAtomicReference *)a __attribute__((swift_name("foo(a:)")));
++ (void)fooA:(ValuesKotlinAtomicReference<id> *)a __attribute__((swift_name("foo(a:)")));
 @property (class, readonly) double dbl __attribute__((swift_name("dbl")));
 @property (class, readonly) float flt __attribute__((swift_name("flt")));
 @property (class, readonly) int32_t integer __attribute__((swift_name("integer")));
@@ -1143,7 +1144,7 @@ __attribute__((swift_name("ValuesKt")))
 @property (class, readonly) NSArray<id> *anyList __attribute__((swift_name("anyList")));
 @property (class) id lateinitIntVar __attribute__((swift_name("lateinitIntVar")));
 @property (class, readonly) NSString *lazyVal __attribute__((swift_name("lazyVal")));
-@property (class) ValuesKotlinArray *delegatedGlobalArray __attribute__((swift_name("delegatedGlobalArray")));
+@property (class) ValuesKotlinArray<NSString *> *delegatedGlobalArray __attribute__((swift_name("delegatedGlobalArray")));
 @property (class, readonly) NSArray<NSString *> *delegatedList __attribute__((swift_name("delegatedList")));
 @property (class, readonly) id _Nullable nullVal __attribute__((swift_name("nullVal")));
 @property (class) NSString * _Nullable nullVar __attribute__((swift_name("nullVar")));
diff --git a/backend.native/tests/framework/values/values.swift b/backend.native/tests/framework/values/values.swift
index a9ec68546be..57d7657ecc2 100644
--- a/backend.native/tests/framework/values/values.swift
+++ b/backend.native/tests/framework/values/values.swift
@@ -318,7 +318,7 @@ func testGenericsFoo() throws {
 }
 
 func testVararg() throws {
-    let ktArray = KotlinArray(size: 3, init: { (_) -> Int in return 42 })
+    let ktArray = KotlinArray<AnyObject>(size: 3, init: { (_) -> NSNumber in return 42 })
     let arr: [Int] = ValuesKt.varargToList(args: ktArray) as! [Int]
     try assertEquals(actual: arr, expected: [42, 42, 42])
 }
@@ -441,21 +441,21 @@ func testDataClass() throws {
     let s = "2"
     let t = "3"
 
-    let tripleVal = TripleVals(first: f, second: s, third: t)
+    let tripleVal = TripleVals<NSString>(first: f as NSString, second: s as NSString, third: t as NSString)
     try assertEquals(actual: tripleVal.first as! String, expected: f, "Data class' value")
     try assertEquals(actual: tripleVal.component2() as! String, expected: s, "Data class' component")
     print(tripleVal)
     try assertEquals(actual: String(describing: tripleVal), expected: "TripleVals(first=\(f), second=\(s), third=\(t))")
 
-    let tripleVar = TripleVars(first: f, second: s, third: t)
+    let tripleVar = TripleVars<NSString>(first: f as NSString, second: s as NSString, third: t as NSString)
     try assertEquals(actual: tripleVar.first as! String, expected: f, "Data class' value")
     try assertEquals(actual: tripleVar.component2() as! String, expected: s, "Data class' component")
     print(tripleVar)
     try assertEquals(actual: String(describing: tripleVar), expected: "[\(f), \(s), \(t)]")
 
-    tripleVar.first = t
-    tripleVar.second = f
-    tripleVar.third = s
+    tripleVar.first = t as NSString
+    tripleVar.second = f as NSString
+    tripleVar.third = s as NSString
     try assertEquals(actual: tripleVar.component2() as! String, expected: f, "Data class' component")
     try assertEquals(actual: String(describing: tripleVar), expected: "[\(t), \(f), \(s)]")
 }
@@ -476,7 +476,7 @@ func testInlineClasses() throws {
     let ic1N = ValuesKt.box(ic1: 17)
     let ic2 = "foo"
     let ic2N = "bar"
-    let ic3 = TripleVals(first: 1, second: 2, third: 3)
+    let ic3 = TripleVals<NSNumber>(first: 1, second: 2, third: 3)
     let ic3N = ValuesKt.box(ic3: nil)
 
     try assertEquals(
@@ -543,7 +543,7 @@ func testPureSwiftClasses() throws {
 func testNames() throws {
     try assertEquals(actual: ValuesKt.PROPERTY_NAME_MUST_NOT_BE_ALTERED_BY_SWIFT, expected: 111)
     try assertEquals(actual: Deeply.NestedType().thirtyTwo, expected: 32)
-    try assertEquals(actual: WithGenericDeeply.NestedType().thirtyThree, expected: 33)
+    try assertEquals(actual: WithGenericDeeplyNestedType<AnyObject>().thirtyThree, expected: 33)
     try assertEquals(actual: CKeywords(float: 1.0, enum : 42, goto: true).goto_, expected: true)
     try assertEquals(actual: TypeOuter.Type_().thirtyFour, expected: 34)
 }
@@ -570,7 +570,7 @@ class TransformIntToLongCallingSuper : TransformIntToLong {
 }
 
 func testKotlinOverride() throws {
-    try assertEquals(actual: TransformInheritingDefault().map(value: 1) as! Int32, expected: 1)
+    try assertEquals(actual: TransformInheritingDefault<NSNumber>().map(value: 1) as! Int32, expected: 1)
     try assertEquals(actual: TransformIntToDecimalString().map(value: 2), expected: "2")
     try assertEquals(actual: TransformIntToDecimalString().map(intValue: 3), expected: "3")
     try assertEquals(actual: ValuesKt.createTransformDecimalStringToInt().map(value: "4") as! Int32, expected: 4)