blob: 3d8a3074c76ab42cdced009cb89fd614c7442209 (
plain) (
blame)
1
2
3
4
5
6
7
|
// Example 3 from "On Decidability of Nominal Subtyping with Variance" (Pierce, Kennedy)
// http://research.microsoft.com/pubs/64041/fool2007.pdf
trait N[-A]
trait C[A] extends N[N[C[C[A]]]]
object Test {
def foo(c: C[Int]): N[C[Int]] = c
}
|
