-
rl@cse.unsw.edu.au authored
The test program should be rejected but not with a panic. I haven't added a .stderr file because I don't know what the error message should be.
0d16bd17
The test program should be rejected but not with a panic. I haven't added a .stderr file because I don't know what the error message should be.