|
Scala example source code file (t3691.scala)
The Scala t3691.scala source code
object Test {
trait A[X] { type A[x <: X] = x }
val a = (new A[String]{}): { type A[x <: String] } // ok
val b = (new A[String]{}): { type A[x] } // not ok
val c = (new A[String]{}): { type A } // not ok
val x = (new { type A = String }): { type A[X] } // not ok
//a: AnyRef{type A[X]}
identity[x.A[Any]] _
}
Other Scala examples (source code examples)Here is a short list of links related to this Scala t3691.scala source code file: |
| ... this post is sponsored by my books ... | |
#1 New Release! |
FP Best Seller |
Copyright 1998-2024 Alvin Alexander, alvinalexander.com
All Rights Reserved.
A percentage of advertising revenue from
pages under the /java/jwarehouse
URI on this website is
paid back to open source projects.