Doesn't this fail with unknown lang-item?

(It may be easiest to add a new dead-code test using the `#[no_std];` example from #11440.)