diff options
| author | liu fengyun <liu@fengy.me> | 2017-04-14 07:44:10 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-04-14 07:44:10 +0200 |
| commit | f20ca3d358c650f6a58528018aa7d848b1f6a28f (patch) | |
| tree | caa559734278467838c669565f91a91803f32918 /tests/patmat/i2253.check | |
| parent | 9e45ad16d012e6a2ff3be411c2fe101b1c74b831 (diff) | |
| parent | 1c900a35155c0b92fd3b96794ffb55c0b0c03d9c (diff) | |
| download | dotty-f20ca3d358c650f6a58528018aa7d848b1f6a28f.tar.gz dotty-f20ca3d358c650f6a58528018aa7d848b1f6a28f.tar.bz2 dotty-f20ca3d358c650f6a58528018aa7d848b1f6a28f.zip | |
Merge pull request #2261 from AleksanderBG/fix-2253
Fix #2253 edge cases: recurse into refined type
Diffstat (limited to 'tests/patmat/i2253.check')
| -rw-r--r-- | tests/patmat/i2253.check | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/tests/patmat/i2253.check b/tests/patmat/i2253.check new file mode 100644 index 000000000..5c86a1ef8 --- /dev/null +++ b/tests/patmat/i2253.check @@ -0,0 +1,3 @@ +27: Pattern Match Exhaustivity: HasIntXIntM, HasIntXStringM +28: Pattern Match Exhaustivity: HasIntXIntM +29: Pattern Match Exhaustivity: HasIntXIntM |