`demo.rs` does not compile on its own #5440