Recursion limit error typechecking value of abstract type with type member and subtyping #4560
Comments
|
PR #4385 fix the stack overflow |
That's good to know
Not sure. I don't think this code should be illegal. |
|
Here's another way to reproduce the same issue: trait Trait {
type A <: { type T = B }
type B <: { type S = A }
}
trait SubTrait extends Trait {
val v: A
}I agree that this should compile since it's fairly easy to come up with concrete types for A and B: class XA {
type T = XB
}
class XB {
type S = XA
}
class Foo extends Trait {
type A = XA
type B = XB
} |
|
Is this same issue? 👀 libraryDependencies += "com.typesafe.play" %% "play-ws-standalone" % "2.1.2" cross CrossVersion.for3Use2_13
scalaVersion := "3.0.0"package example
import play.api.libs.ws.StandaloneWSClient
import scala.concurrent.duration.Duration
trait Test {
def ws: StandaloneWSClient
def url: String
def requestTimeout: Duration
def header: Seq[(String, String)]
def foo = {
ws
.url(url)
.withHttpHeaders(header: _*)
.withRequestTimeout(requestTimeout)
.withBody("body")
.withMethod("POST")
.execute()
}
} |
|
The error message refers to different operations so probably not. |
|
ckipp01
changed the title
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
The following code compiles using Scala but crashes Dotty with a StackOverflowError:
The text was updated successfully, but these errors were encountered: