Commit e3c374cc ended up fixing quite a few bugs:
- This commit fixes #16244 (closed) completely. A regression test has been added.
- This commit fixes one program from #16245 (closed). (The program in #16245 (comment 211369) still panics, and the program in #16245 (comment 211400) still loops infinitely.) A regression test has been added for this program.
- This commit fixes #16758 (closed). Accordingly, this patch removes the
expect_broken
label from theT16758
test case, moves it fromshould_compile
toshould_fail
(as it should produce an error message), and checks in the expected stderr.