Add a test for #1800.

This commit is contained in:
Qi Xiao 2024-05-03 18:39:20 +01:00
parent 98ddd450f7
commit 70587e1a14

View File

@ -369,6 +369,8 @@ Compilation error: argument name must not be empty
~> {|a a| }
Compilation error: duplicate argument name 'a'
[tty]:1:5-5: {|a a| }
// but multiple _s are OK
~> nop {|_ a _| }
## option name must be unqualified ##
~> {|&a:b=1| }