index
:
dotty
DarkDimius-patch-1
gh-pages
master
Research platform for new language concepts and compiler technologies for Scala.
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
tests
/
untried
/
neg
/
wellkinded_app.scala
blob: 7fa3f95a98486312232e81bfc45cf1a484287546 (
plain
) (
blame
)
1
2
3
4
// test well-kindedness checks
class
WellKinded
[
x
]
{
type
t
=
x
[
x
]
}