diff options
author | Paul Phillips <paulp@improving.org> | 2012-09-25 18:10:28 -0700 |
---|---|---|
committer | Paul Phillips <paulp@improving.org> | 2012-09-25 18:17:30 -0700 |
commit | 5499e41157cdb6a81772728525e9c1f44401e7cc (patch) | |
tree | 7e38850eedcee43cdcb0b14c656f5b4b0c236f7e /test/files/neg/t4174.check | |
parent | 0b8dcfe93fe07acf16b4a8a585579b57432f07ab (diff) | |
download | scala-5499e41157cdb6a81772728525e9c1f44401e7cc.tar.gz scala-5499e41157cdb6a81772728525e9c1f44401e7cc.tar.bz2 scala-5499e41157cdb6a81772728525e9c1f44401e7cc.zip |
Pass a more precise type to checkCheckable when it's available.
Without it, one cannot assess the checkability of any
aspect of the pattern for which static verifiability
depends on knowledge of the scrutinee.
Diffstat (limited to 'test/files/neg/t4174.check')
0 files changed, 0 insertions, 0 deletions