A modern programming language that makes developers happier.

kotlinlang

With optics-ksp-plugin 1.2.0, generated code using _wildcard generics_ does not compile. Wildcard generics `&lt;*&gt;` gets replaced with `&lt;* kotlin.Any?&gt;`. See example in thread.

```@optics
data class GenericType&lt;A&gt;(
  val field1: A
) { companion object }

@optics
data class IsoData(val genericType: GenericType&lt;*&gt;) {
  companion object
}```
generates:

```public inline val IsoData.Companion.iso: Iso&lt;IsoData, GenericType&lt;* kotlin.Any?&gt;&gt; inline get() = Iso(
  get = { isoData: IsoData -&gt; isoData.genericType },
  reverseGet = { IsoData(it) }
)

public inline val IsoData.Companion.genericType: Lens&lt;IsoData, GenericType&lt;* kotlin.Any?&gt;&gt; inline get() = Lens(
  get = { isoData: IsoData -&gt; isoData.`genericType` },
  set = { isoData: IsoData, value: GenericType&lt;* kotlin.Any?&gt; -&gt; isoData.copy(`genericType` = value) }
)

public inline val &lt;S&gt; Iso&lt;S, IsoData&gt;.genericType: Lens&lt;S, GenericType&lt;* kotlin.Any?&gt;&gt; inline get() = this + IsoData.genericType
public inline val &lt;S&gt; Lens&lt;S, IsoData&gt;.genericType: Lens&lt;S, GenericType&lt;* kotlin.Any?&gt;&gt; inline get() = this + IsoData.genericType
public inline val &lt;S&gt; Optional&lt;S, IsoData&gt;.genericType: Optional&lt;S, GenericType&lt;* kotlin.Any?&gt;&gt; inline get() = this + IsoData.genericType
public inline val &lt;S&gt; Prism&lt;S, IsoData&gt;.genericType: Optional&lt;S, GenericType&lt;* kotlin.Any?&gt;&gt; inline get() = this + IsoData.genericType
public inline val &lt;S&gt; Getter&lt;S, IsoData&gt;.genericType: Getter&lt;S, GenericType&lt;* kotlin.Any?&gt;&gt; inline get() = this + IsoData.genericType
public inline val &lt;S&gt; Setter&lt;S, IsoData&gt;.genericType: Setter&lt;S, GenericType&lt;* kotlin.Any?&gt;&gt; inline get() = this + IsoData.genericType
public inline val &lt;S&gt; Traversal&lt;S, IsoData&gt;.genericType: Traversal&lt;S, GenericType&lt;* kotlin.Any?&gt;&gt; inline get() = this + IsoData.genericType
public inline val &lt;S&gt; Fold&lt;S, IsoData&gt;.genericType: Fold&lt;S, GenericType&lt;* kotlin.Any?&gt;&gt; inline get() = this + IsoData.genericType
public inline val &lt;S&gt; Every&lt;S, IsoData&gt;.genericType: Every&lt;S, GenericType&lt;* kotlin.Any?&gt;&gt; inline get() = this + IsoData.genericType```


`GenericType&lt;* kotlin.Any?&gt;` is the culprit and should just be `GenericType&lt;*&gt;`.

Upon further inspection, it seems 1.1.5 generated `GenericType&lt;kotlin.Any?&gt;`, actually, which of course also compiles.

I guess this may be related to the new support for variance in 1.2.0

<https://github.com/arrow-kt/arrow/pull/3097>