Since this is a test of something that should work (i.e., not a compile failure), shouldn't it be written in a different test in the `run-pass` directory?