|
Scala example source code file (t3691.scala)
The Scala t3691.scala source codeobject 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.