diff options
| author | Jason Zaugg <jzaugg@gmail.com> | 2013-12-03 12:32:59 +0100 |
|---|---|---|
| committer | Jason Zaugg <jzaugg@gmail.com> | 2013-12-03 13:03:39 +0100 |
| commit | d0aaa86a9fe20e00f0cfa4fd1154126579933fb7 (patch) | |
| tree | a9a27a4b18b7f6d2d79a578b1566761b0f8005ba /test/files/pos/t8023b.scala | |
| parent | a89000be9f5b6506bcd891bd076700a9d1e79d01 (diff) | |
| download | scala-d0aaa86a9fe20e00f0cfa4fd1154126579933fb7.tar.gz scala-d0aaa86a9fe20e00f0cfa4fd1154126579933fb7.tar.bz2 scala-d0aaa86a9fe20e00f0cfa4fd1154126579933fb7.zip | |
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)
Diffstat (limited to 'test/files/pos/t8023b.scala')
| -rw-r--r-- | test/files/pos/t8023b.scala | 2 |
1 files changed, 2 insertions, 0 deletions
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]] |