diff options
| author | Sarunas Valaskevicius <rakatan@gmail.com> | 2015-09-25 16:04:20 +0100 |
|---|---|---|
| committer | Sarunas Valaskevicius <rakatan@gmail.com> | 2015-09-25 16:23:04 +0100 |
| commit | 1c131d55bbaed78ee646679e151cb0e792bfa508 (patch) | |
| tree | 60b263a115221c38b9e2262b1846d27a6edee21f /tests/pos/Patterns.scala | |
| parent | bb3efab1d5406257582a3f8c02c814643e4626b9 (diff) | |
| download | dotty-1c131d55bbaed78ee646679e151cb0e792bfa508.tar.gz dotty-1c131d55bbaed78ee646679e151cb0e792bfa508.tar.bz2 dotty-1c131d55bbaed78ee646679e151cb0e792bfa508.zip | |
add a test for a pattern match with ignored type param
Diffstat (limited to 'tests/pos/Patterns.scala')
| -rw-r--r-- | tests/pos/Patterns.scala | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/tests/pos/Patterns.scala b/tests/pos/Patterns.scala index e9bce87a9..aa369a77b 100644 --- a/tests/pos/Patterns.scala +++ b/tests/pos/Patterns.scala @@ -93,6 +93,15 @@ object Patterns { case t: a2.B => t } + + class caseWithPatternVariableHelper1[A] + class caseWithPatternVariableHelper2[A] + + def caseWithPatternVariable(x: Any) = x match { + case a: caseWithPatternVariableHelper1[_] => () + case b: caseWithPatternVariableHelper2[_] => () + } + } object NestedPattern { |