[BUG] IllegalArgumentException when using custom refined type - 1.5.0-SNAPSHOT - Githubissues

arrow-kt / arrow-meta

Functional companion to Kotlin's Compiler

https://meta.arrow-kt.io

Apache License 2.0

395 stars 42 forks source link

[BUG] IllegalArgumentException when using custom refined type - 1.5.0-SNAPSHOT #825

Open brezinajn opened 3 years ago

brezinajn commented 3 years ago

Describe the bug When trying to define my own refined types I'm getting an Exception java.lang.IllegalArgumentException: object is not an instance of declaring class : PositiveInt2.Companion.invoke using 1.5.0-SNAPSHOT

To Reproduce Steps to reproduce the behavior: Minimal repro here Should not be able to run.

Expected behavior User defined refined types should work correctly

Screenshots Not applicable

Environment (please complete the following information):

Kotlin version [eg. 1.5.0]:
Kotlin Intellij IDEA plugin version: 211-1.5.20-release-284-IJ7442.40
- Intellij IDEA version: #IU-211.7442.40

ustitc commented 3 years ago

Having another issue with the same sample during compile:

@JvmInline annotation is only applicable to value classes

What I have tried:

Launched same code in refined-types-compiler-plugin-demo module of arrow-meta-examples repository and got same error
Pasted it in refined-types-plugin tests and got same error
Disabled refined plugin and switched to a dependency and got successful compilation
Switched to data class and simple class and got successful compilation
Removed Refined from companion object and got successful compilation

Environment

Kotlin version [eg. 1.5.0]: 1.5.0
Kotlin Intellij IDEA plugin version: 211-1.5.20-release-284-IJ7442.40
Intellij IDEA version: Build #IC-211.7442.40, built on June 1, 2021