Mikhail Glukhikh
3fbb7bc920
This commit is intended to get a more clear diagnostic in case when the type checker creates an inconsistent error type due to some classifier inaccessibility. Before this commit, we reported simply ARGUMENT_TYPE_MISMATCH (see test). Now we report also MISSING_DEPENDENCY_CLASS by analyzing an error type of a qualified expression. #KT-66356 Fixed
91 lines
2.2 KiB
Kotlin
Vendored
91 lines
2.2 KiB
Kotlin
Vendored
// TARGET_BACKEND: JVM_IR
|
|
// WITH_STDLIB
|
|
// RENDER_DIAGNOSTICS_FULL_TEXT
|
|
// ISSUE: KT-62525
|
|
|
|
// MODULE: m1
|
|
// FILE: Request.kt
|
|
|
|
package com.request
|
|
|
|
sealed class Result<out Success, out Error> {
|
|
class Success<out Success>(val value: Success) : Result<Success, Nothing>()
|
|
|
|
class Error<out Error>(val error: Error) : Result<Nothing, Error>()
|
|
|
|
inline fun <Mapped> mapError(transform: (Error) -> Mapped): Result<Success, Mapped> =
|
|
when (this) {
|
|
is Result.Success -> this
|
|
is Result.Error -> Error(transform(error))
|
|
}
|
|
}
|
|
|
|
fun <T, U> request(success: T, error: U): Result<T, U> {
|
|
if (1 + 1 + 2 == 4) {
|
|
return Result.Success(success)
|
|
} else {
|
|
return Result.Error(error)
|
|
}
|
|
}
|
|
|
|
// MODULE: m2
|
|
// FILE: Result.kt
|
|
|
|
package com.result
|
|
|
|
class A {}
|
|
|
|
sealed class B<T> {
|
|
|
|
class HttpError<T>(val response: T) : B<T>() {}
|
|
|
|
class Exception<T>(val exception: Throwable) : B<T>() {}
|
|
}
|
|
|
|
class C {}
|
|
|
|
class Owner<T> {
|
|
inner class Nested<S> {
|
|
inner class VeryNested<R, P>
|
|
}
|
|
}
|
|
|
|
// MODULE: m3(m1, m2)
|
|
// FILE: Repo.kt
|
|
|
|
package com.repo
|
|
|
|
import com.request.Result
|
|
import com.request.request
|
|
import com.result.A
|
|
import com.result.B
|
|
import com.result.C
|
|
import com.result.Owner
|
|
import java.lang.RuntimeException
|
|
|
|
fun request_a(): Result<A, B<C>> {
|
|
return request<A, B<C>>(A(), B.Exception(RuntimeException("Error")))
|
|
}
|
|
|
|
fun request_withNested(): Result<Owner<C>.Nested<A>, Owner<A>.Nested<C>.VeryNested<C, A>> {
|
|
return request<Owner<C>.Nested<A>, Owner<A>.Nested<C>.VeryNested<C, A>>(Owner<C>().Nested<A>(), Owner<A>().Nested<C>().VeryNested<C, A>())
|
|
}
|
|
|
|
// MODULE: m4(m3, m1)
|
|
// FILE: Call.kt
|
|
|
|
package com.call
|
|
|
|
import com.repo.request_a
|
|
import com.repo.request_withNested
|
|
|
|
class Model {
|
|
fun call() {
|
|
<!MISSING_DEPENDENCY_CLASS!>request_a<!>().mapError <!MISSING_DEPENDENCY_CLASS!>{ 1 + 1 }<!>
|
|
<!MISSING_DEPENDENCY_CLASS!>request_a<!>().mapError { <!MISSING_DEPENDENCY_CLASS!>it<!> -> 1 + 1 }
|
|
<!MISSING_DEPENDENCY_CLASS, MISSING_DEPENDENCY_CLASS!>request_withNested<!>().<!MISSING_DEPENDENCY_CLASS!>mapError<!> <!MISSING_DEPENDENCY_CLASS!>{ 1 + 1 }<!>
|
|
}
|
|
}
|
|
|
|
fun simple(b: com.<!UNRESOLVED_REFERENCE!>result<!>.B<*>) {}
|