0327dc0b18
While it wasn't the original issue, the first program from #2487 failed the pretty-printing test because of this, so it's still a good test case :-) It also turns out that the second program from #2487 now triggers a kind error, so I figured I might as well add it as a test case.
This is a compiler and suite of associated libraries and documentation for the Rust programming language. See LICENSE.txt for terms of copyright and redistribution. See http://www.rust-lang.org for more information.