|  | warning: unreachable definition | 
|  | --> $DIR/issue-85071.rs:15:9 | 
|  | | | 
|  | LL |     let x = f(); | 
|  | |         ^   --- any code following this expression is unreachable | 
|  | |         | | 
|  | |         unreachable definition | 
|  | | | 
|  | note: this expression has type `Foo`, which is uninhabited | 
|  | --> $DIR/issue-85071.rs:15:13 | 
|  | | | 
|  | LL |     let x = f(); | 
|  | |             ^^^ | 
|  | note: the lint level is defined here | 
|  | --> $DIR/issue-85071.rs:9:26 | 
|  | | | 
|  | LL | #![warn(unused_variables,unreachable_code)] | 
|  | |                          ^^^^^^^^^^^^^^^^ | 
|  |  | 
|  | warning: unused variable: `x` | 
|  | --> $DIR/issue-85071.rs:15:9 | 
|  | | | 
|  | LL |     let x = f(); | 
|  | |         ^ help: if this is intentional, prefix it with an underscore: `_x` | 
|  | | | 
|  | note: the lint level is defined here | 
|  | --> $DIR/issue-85071.rs:9:9 | 
|  | | | 
|  | LL | #![warn(unused_variables,unreachable_code)] | 
|  | |         ^^^^^^^^^^^^^^^^ | 
|  |  | 
|  | warning: 2 warnings emitted | 
|  |  |