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
/
pos
/
ensuring.scala
blob: 7014d3567852185ef14b17dda08f3ab6d541f1ae (
plain
) (
blame
)
1
2
3
4
5
object
test
{
def
foo
(
x
:
Int
)
=
x
+
1
ensuring
{
y
=>
y
>=
0
}
}