+(test (expand-pattern-matches
+ '((data A (foo Int Int))
+ (let ([(foo x y) (foo 123 234)] [z (f 123)]) x)))
+ '((data A (foo Int Int))
+ (let ([x (foo~0 (foo 123 234))]
+ [y (foo~1 (foo 123 234))]
+ [z (f 123)])
+ x)))
+
+(test-exception
+ (expand-pattern-matches '((data A (foo Int Int))
+ (let ([(foo x) (foo 123 234)])
+ x))))
+