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
/
pos
/
tcpoly_higherorder_bound_method.scala
blob: 3905b3b96d8bb0b1c1abb05afe410f728b6b7d16 (
plain
) (
blame
)
1
2
3
trait
SkolemisationOfHigherOrderBoundInMethod
{
def
method
[
A
,
N
[
X
<:
A
],
M
[
X
<:
N
[
A
]]]:
Unit
}