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