diff options
author | Jason Zaugg <jzaugg@gmail.com> | 2014-01-09 06:20:11 -0800 |
---|---|---|
committer | Jason Zaugg <jzaugg@gmail.com> | 2014-01-09 06:20:11 -0800 |
commit | 137fcbc0ec86a1ed94902a52ddd7c67540001e5d (patch) | |
tree | c46ae4632a081d9b1196801aa2e11d8947973106 /test/files/presentation/context-bounds1/src/ContextBounds.scala | |
parent | 9934bae50cc0893ab345203b5445e6618a2f1698 (diff) | |
parent | 4936c43c137e8e4d133dde397a121288490f78f9 (diff) | |
download | scala-137fcbc0ec86a1ed94902a52ddd7c67540001e5d.tar.gz scala-137fcbc0ec86a1ed94902a52ddd7c67540001e5d.tar.bz2 scala-137fcbc0ec86a1ed94902a52ddd7c67540001e5d.zip |
Merge pull request #3269 from dotta/issue/si-4287
Issue/si 4287
Diffstat (limited to 'test/files/presentation/context-bounds1/src/ContextBounds.scala')
-rw-r--r-- | test/files/presentation/context-bounds1/src/ContextBounds.scala | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/test/files/presentation/context-bounds1/src/ContextBounds.scala b/test/files/presentation/context-bounds1/src/ContextBounds.scala new file mode 100644 index 0000000000..72a8f694a3 --- /dev/null +++ b/test/files/presentation/context-bounds1/src/ContextBounds.scala @@ -0,0 +1,13 @@ +object ContextBound { + val blubb = new Blubb/*#*/ + + def work[A: Foo/*#*/](f: Blubb/*#*/ => A/*#*/): A/*#*/ = f(blubb/*#*/) ensuring { + implicitly[Foo/*#*/[A/*#*/]].foo/*#*/(_) >= 42 + } +} + +trait Foo[A] { + def foo(a: A/*#*/): Int +} + +class Blubb
\ No newline at end of file |