| //@ compile-flags: --crate-type=lib | |
| //@ check-pass | |
| // Make sure we don't pass inference variables to uninhabitedness checks in borrowck | |
| struct Command<'s> { | |
| session: &'s (), | |
| imp: std::convert::Infallible, | |
| } | |
| fn command(_: &()) -> Command<'_> { | |
| unreachable!() | |
| } | |
| fn with_session<'s>(a: &std::process::Command, b: &'s ()) -> Command<'s> { | |
| a.get_program(); | |
| command(b) | |
| } |