-
Joachim Breitner authored
involving a non-terminating newtype. This worked before 7e78faf0. Probably not a problem, but still better to have a test case for it. See ticket #9117.
94c57676
involving a non-terminating newtype. This worked before 7e78faf0. Probably not a problem, but still better to have a test case for it. See ticket #9117.