Arrow Core 2 causes undeclared type variable: A when using NonEmptyList

[dcampogiani]

Hi,

when I try to inject with Hilt a component returning NonEmptyList, such as:

internal fun interface StateBuilder {
    fun build(): NonEmptyList<String>
}

I'm getting

bad class file: /Users/danielecampogiani/Developing/android/arrow-2-empty-list-issue/app/build/tmp/kotlin-classes/debug/com/danielecampogiani/StateBuilder.class
undeclared type variable: A
Please remove or make sure it appears in the correct subdirectory of the classpath.

I've created a reproducible issue in this repo: https://github.com/dcampogiani/Arrow-Core-2-NonEmptyList-Issue

Dependencies:

• arrowCore = "2.0.0"
• hilt = "2.54"
• kotlin = "2.1.0"

Everything works fine if I use arrowCore=1.2.4, or replace NonEmptyList with List

[hoc081098]

NonEmptyList v1.2.4 is a normal class.
Since 2.0.0, it is a @JvmInline value class.
Does Hilt/Dagger support @JvmInline value class?

[kyay10]

I believe a similar issue has been reported, and a hot fix either has been released or will be released soon. The issue is that the type parameter of Nel needs to have the same name as the type parameter of List, so the fix does precisely that. I'll try to find the related issue

[dcampogiani]

@kyay10 if you are referring to: #3549, I've tried with version 2.0.1-apha.1 and now the error is:

/Users/danielecampogiani/Developing/android/arrow-2-empty-list-issue/app/build/generated/ksp/debug/java/com/danielecampogiani/MainViewModel_Factory.java:28: error: cannot access StateBuilder
  private final Provider<StateBuilder> builderProvider;
                         ^
   bad class file: /Users/danielecampogiani/Developing/android/arrow-2-empty-list-issue/app/build/tmp/kotlin-classes/debug/com/danielecampogiani/StateBuilder.class
undeclared type variable: E
Please remove or make sure it appears in the correct subdirectory of the classpath.

From:
undeclared type variable: A
to:
undeclared type variable: E

[serras]

Thanks for the reproducer. It turns out that this is a reported bug in the Kotlin compiler. It seems that if you use NonEmptyList<String>, the compiler still "leaves" an undeclared type variable standing for the type parameter of NonEmptyList, and which ultimately causes the problem.

[hugomd]

Are there any work arounds for this, or do we have to sit tight until the Kotlin compiler bug is fixed?

[serras]

Unfortunately the only option until the fix is released is to use List<A> instead and perform validation manually.

[hugomd]

Thanks for the response @serras, I'll give that a go 😄