In order to land #13967 I'm ignoring the test in src/test/compile-fail/issue-9725.rs which currently explodes rustc.