Add lang item for Future::Output · model-checking/verify-rust-std@a8f468f (original) (raw)

Skip to content

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Sign up

Commit a8f468f

Add lang item for Future::Output

File tree

1 file changed

lines changed

1 file changed

lines changed

Original file line number Diff line number Diff line change
@@ -35,7 +35,7 @@ use crate::task::{Context, Poll};
35 35 pub trait Future {
36 36 /// The type of value produced on completion.
37 37 #[stable(feature = "futures_api", since = "1.36.0")]
38 -#[rustc_diagnostic_item = "FutureOutput"]
38 +#[cfg_attr(not(bootstrap), lang = "future_output")]
39 39 type Output;
40 40
41 41 /// Attempt to resolve the future to a final value, registering