From d0aaa86a9fe20e00f0cfa4fd1154126579933fb7 Mon Sep 17 00:00:00 2001 From: Jason Zaugg Date: Tue, 3 Dec 2013 12:32:59 +0100 Subject: SI-8023 Address review comments around typedHigherKindedType - Make `WildCardType` kind polymorphic - Factory methods for expected kinds. They are still just `Type`-s, though. - Check if the type parameter is initialized, rather than its owner. - Take advantage of these to cleanup `typedAppliedTypeTree` TODO: is this comment totally accurate? If so, should we refactor `Kind.FromParams(tparams)` to `Kind.Arity(tparams.length)`? // @M: kind-arity checking is done here and in adapt, // full kind-checking is in checkKindBounds (in Infer) --- test/files/pos/t8023b.scala | 2 ++ 1 file changed, 2 insertions(+) create mode 100644 test/files/pos/t8023b.scala (limited to 'test/files/pos/t8023b.scala') diff --git a/test/files/pos/t8023b.scala b/test/files/pos/t8023b.scala new file mode 100644 index 0000000000..94c9b2f8d2 --- /dev/null +++ b/test/files/pos/t8023b.scala @@ -0,0 +1,2 @@ +// this fails with naive attempts to fix SI-8023 +trait T[A <: T[A]] -- cgit v1.2.3