1 2 3 4 5 6 7 8 9 10 11
// check-pass struct WithDrop; impl Drop for WithDrop { fn drop(&mut self) {} } fn consume(x: (&mut (), WithDrop)) -> &mut () { x.0 } fn main() {}