diff options
Diffstat (limited to '')
-rw-r--r-- | src/test/ui/issues/issue-12552.rs | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/src/test/ui/issues/issue-12552.rs b/src/test/ui/issues/issue-12552.rs new file mode 100644 index 000000000..b7f71dd1c --- /dev/null +++ b/src/test/ui/issues/issue-12552.rs @@ -0,0 +1,11 @@ +// this code used to cause an ICE + +fn main() { + let t = Err(0); + match t { + Some(k) => match k { //~ ERROR mismatched types + a => println!("{}", a) + }, + None => () //~ ERROR mismatched types + } +} |