Update tests

Author: nomeata

tests/lean/matchErrorMsg.lean.expected.out

@@ -1,2 +1,2 @@
 matchErrorMsg.lean:2:1-2:6: error: Missing cases:
-(Prod.mk Nat.zero _)
+(Prod.mk Nat.zero (Nat.succ _))

tests/lean/matchUnknownFVarBug.lean.expected.out

@@ -1,8 +1,8 @@
 matchUnknownFVarBug.lean:2:2-2:7: error: Missing cases:
+(some (Nat.succ _)), (some _)
+(some (Nat.succ _)), none
 none, (some _)
 none, none
-(some _), (some _)
-(some _), none
 matchUnknownFVarBug.lean:3:18-3:19: error: unsolved goals
 n? x✝ : Option Nat
 h : n? = some 0

tests/lean/patvar.lean.expected.out

@@ -1,6 +1,6 @@
 patvar.lean:3:0-3:22: error: Missing cases:
-_
+(List.cons _ _)
 patvar.lean:10:0-10:16: error: Missing cases:
-_
+(List.cons _ _)
 patvar.lean:14:2-14:9: error: Invalid pattern variable: Variable name must be atomic, but `foo.bar` has multiple components
 patvar.lean:17:2-17:9: error: Invalid pattern variable: Variable name must be atomic, but `foo.bar` has multiple components