2020-07-25 12:49:46 -05:00
|
|
|
warning: use of deprecated function `deprecated_future`: text
|
2019-04-22 11:35:37 -05:00
|
|
|
--> $DIR/deprecation-in-future.rs:9:5
|
2018-12-09 10:17:50 -06:00
|
|
|
|
|
2022-04-07 22:44:55 -05:00
|
|
|
LL | deprecated_future(); // ok; deprecated_in_future only applies with `#![feature(staged_api)]`
|
2018-12-09 10:17:50 -06:00
|
|
|
| ^^^^^^^^^^^^^^^^^
|
|
|
|
|
|
|
2019-07-16 15:17:38 -05:00
|
|
|
= note: `#[warn(deprecated)]` on by default
|
2018-12-09 10:17:50 -06:00
|
|
|
|
2020-03-11 10:30:09 -05:00
|
|
|
warning: 1 warning emitted
|
|
|
|
|
|
