Rollup merge of #59739 - cramertj:stabilize, r=withoutboats
Stabilize futures_api cc https://github.com/rust-lang/rust/issues/59725. Based on https://github.com/rust-lang/rust/pull/59733 and https://github.com/rust-lang/rust/pull/59119 -- only the last two commits here are relevant. r? @withoutboats , @oli-obk for the introduction of `rustc_allow_const_fn_ptr`.
This commit is contained in:
commit
48cb6bead1
@ -911,7 +911,7 @@ impl<G: ?Sized + Generator> Generator for Pin<Box<G>> {
|
||||
}
|
||||
}
|
||||
|
||||
#[unstable(feature = "futures_api", issue = "50547")]
|
||||
#[stable(feature = "futures_api", since = "1.36.0")]
|
||||
impl<F: ?Sized + Future + Unpin> Future for Box<F> {
|
||||
type Output = F::Output;
|
||||
|
||||
|
@ -85,7 +85,6 @@
|
||||
#![feature(fmt_internals)]
|
||||
#![feature(fn_traits)]
|
||||
#![feature(fundamental)]
|
||||
#![feature(futures_api)]
|
||||
#![feature(lang_items)]
|
||||
#![feature(libc)]
|
||||
#![feature(needs_allocator)]
|
||||
|
@ -1,6 +1,4 @@
|
||||
#![unstable(feature = "futures_api",
|
||||
reason = "futures in libcore are unstable",
|
||||
issue = "50547")]
|
||||
#![stable(feature = "futures_api", since = "1.36.0")]
|
||||
|
||||
use crate::marker::Unpin;
|
||||
use crate::ops;
|
||||
@ -26,8 +24,10 @@ use crate::task::{Context, Poll};
|
||||
/// `await!` the value.
|
||||
#[doc(spotlight)]
|
||||
#[must_use = "futures do nothing unless polled"]
|
||||
#[stable(feature = "futures_api", since = "1.36.0")]
|
||||
pub trait Future {
|
||||
/// The type of value produced on completion.
|
||||
#[stable(feature = "futures_api", since = "1.36.0")]
|
||||
type Output;
|
||||
|
||||
/// Attempt to resolve the future to a final value, registering
|
||||
@ -92,9 +92,11 @@ pub trait Future {
|
||||
/// [`Context`]: ../task/struct.Context.html
|
||||
/// [`Waker`]: ../task/struct.Waker.html
|
||||
/// [`Waker::wake`]: ../task/struct.Waker.html#method.wake
|
||||
#[stable(feature = "futures_api", since = "1.36.0")]
|
||||
fn poll(self: Pin<&mut Self>, cx: &mut Context<'_>) -> Poll<Self::Output>;
|
||||
}
|
||||
|
||||
#[stable(feature = "futures_api", since = "1.36.0")]
|
||||
impl<F: ?Sized + Future + Unpin> Future for &mut F {
|
||||
type Output = F::Output;
|
||||
|
||||
@ -103,6 +105,7 @@ impl<F: ?Sized + Future + Unpin> Future for &mut F {
|
||||
}
|
||||
}
|
||||
|
||||
#[stable(feature = "futures_api", since = "1.36.0")]
|
||||
impl<P> Future for Pin<P>
|
||||
where
|
||||
P: Unpin + ops::DerefMut,
|
||||
|
@ -1,8 +1,7 @@
|
||||
#![unstable(feature = "futures_api",
|
||||
reason = "futures in libcore are unstable",
|
||||
issue = "50547")]
|
||||
#![stable(feature = "futures_api", since = "1.36.0")]
|
||||
|
||||
//! Asynchronous values.
|
||||
|
||||
mod future;
|
||||
#[stable(feature = "futures_api", since = "1.36.0")]
|
||||
pub use self::future::Future;
|
||||
|
@ -1,11 +1,11 @@
|
||||
#![unstable(feature = "futures_api",
|
||||
reason = "futures in libcore are unstable",
|
||||
issue = "50547")]
|
||||
#![stable(feature = "futures_api", since = "1.36.0")]
|
||||
|
||||
//! Types and Traits for working with asynchronous tasks.
|
||||
|
||||
mod poll;
|
||||
#[stable(feature = "futures_api", since = "1.36.0")]
|
||||
pub use self::poll::Poll;
|
||||
|
||||
mod wake;
|
||||
#[stable(feature = "futures_api", since = "1.36.0")]
|
||||
pub use self::wake::{Context, Waker, RawWaker, RawWakerVTable};
|
||||
|
@ -1,6 +1,4 @@
|
||||
#![unstable(feature = "futures_api",
|
||||
reason = "futures in libcore are unstable",
|
||||
issue = "50547")]
|
||||
#![stable(feature = "futures_api", since = "1.36.0")]
|
||||
|
||||
use crate::ops::Try;
|
||||
use crate::result::Result;
|
||||
@ -9,20 +7,27 @@ use crate::result::Result;
|
||||
/// scheduled to receive a wakeup instead.
|
||||
#[must_use = "this `Poll` may be a `Pending` variant, which should be handled"]
|
||||
#[derive(Copy, Clone, Debug, Eq, PartialEq, Ord, PartialOrd, Hash)]
|
||||
#[stable(feature = "futures_api", since = "1.36.0")]
|
||||
pub enum Poll<T> {
|
||||
/// Represents that a value is immediately ready.
|
||||
Ready(T),
|
||||
#[stable(feature = "futures_api", since = "1.36.0")]
|
||||
Ready(
|
||||
#[stable(feature = "futures_api", since = "1.36.0")]
|
||||
T
|
||||
),
|
||||
|
||||
/// Represents that a value is not ready yet.
|
||||
///
|
||||
/// When a function returns `Pending`, the function *must* also
|
||||
/// ensure that the current task is scheduled to be awoken when
|
||||
/// progress can be made.
|
||||
#[stable(feature = "futures_api", since = "1.36.0")]
|
||||
Pending,
|
||||
}
|
||||
|
||||
impl<T> Poll<T> {
|
||||
/// Changes the ready value of this `Poll` with the closure provided.
|
||||
#[stable(feature = "futures_api", since = "1.36.0")]
|
||||
pub fn map<U, F>(self, f: F) -> Poll<U>
|
||||
where F: FnOnce(T) -> U
|
||||
{
|
||||
@ -34,6 +39,7 @@ impl<T> Poll<T> {
|
||||
|
||||
/// Returns `true` if this is `Poll::Ready`
|
||||
#[inline]
|
||||
#[stable(feature = "futures_api", since = "1.36.0")]
|
||||
pub fn is_ready(&self) -> bool {
|
||||
match *self {
|
||||
Poll::Ready(_) => true,
|
||||
@ -43,6 +49,7 @@ impl<T> Poll<T> {
|
||||
|
||||
/// Returns `true` if this is `Poll::Pending`
|
||||
#[inline]
|
||||
#[stable(feature = "futures_api", since = "1.36.0")]
|
||||
pub fn is_pending(&self) -> bool {
|
||||
!self.is_ready()
|
||||
}
|
||||
@ -50,6 +57,7 @@ impl<T> Poll<T> {
|
||||
|
||||
impl<T, E> Poll<Result<T, E>> {
|
||||
/// Changes the success value of this `Poll` with the closure provided.
|
||||
#[stable(feature = "futures_api", since = "1.36.0")]
|
||||
pub fn map_ok<U, F>(self, f: F) -> Poll<Result<U, E>>
|
||||
where F: FnOnce(T) -> U
|
||||
{
|
||||
@ -61,6 +69,7 @@ impl<T, E> Poll<Result<T, E>> {
|
||||
}
|
||||
|
||||
/// Changes the error value of this `Poll` with the closure provided.
|
||||
#[stable(feature = "futures_api", since = "1.36.0")]
|
||||
pub fn map_err<U, F>(self, f: F) -> Poll<Result<T, U>>
|
||||
where F: FnOnce(E) -> U
|
||||
{
|
||||
@ -72,12 +81,14 @@ impl<T, E> Poll<Result<T, E>> {
|
||||
}
|
||||
}
|
||||
|
||||
#[stable(feature = "futures_api", since = "1.36.0")]
|
||||
impl<T> From<T> for Poll<T> {
|
||||
fn from(t: T) -> Poll<T> {
|
||||
Poll::Ready(t)
|
||||
}
|
||||
}
|
||||
|
||||
#[stable(feature = "futures_api", since = "1.36.0")]
|
||||
impl<T, E> Try for Poll<Result<T, E>> {
|
||||
type Ok = Poll<T>;
|
||||
type Error = E;
|
||||
@ -102,6 +113,7 @@ impl<T, E> Try for Poll<Result<T, E>> {
|
||||
}
|
||||
}
|
||||
|
||||
#[stable(feature = "futures_api", since = "1.36.0")]
|
||||
impl<T, E> Try for Poll<Option<Result<T, E>>> {
|
||||
type Ok = Poll<Option<T>>;
|
||||
type Error = E;
|
||||
|
@ -1,6 +1,4 @@
|
||||
#![unstable(feature = "futures_api",
|
||||
reason = "futures in libcore are unstable",
|
||||
issue = "50547")]
|
||||
#![stable(feature = "futures_api", since = "1.36.0")]
|
||||
|
||||
use crate::fmt;
|
||||
use crate::marker::{PhantomData, Unpin};
|
||||
@ -13,6 +11,7 @@ use crate::marker::{PhantomData, Unpin};
|
||||
/// It consists of a data pointer and a [virtual function pointer table (vtable)][vtable] that
|
||||
/// customizes the behavior of the `RawWaker`.
|
||||
#[derive(PartialEq, Debug)]
|
||||
#[stable(feature = "futures_api", since = "1.36.0")]
|
||||
pub struct RawWaker {
|
||||
/// A data pointer, which can be used to store arbitrary data as required
|
||||
/// by the executor. This could be e.g. a type-erased pointer to an `Arc`
|
||||
@ -37,9 +36,7 @@ impl RawWaker {
|
||||
/// from a `RawWaker`. For each operation on the `Waker`, the associated
|
||||
/// function in the `vtable` of the underlying `RawWaker` will be called.
|
||||
#[rustc_promotable]
|
||||
#[unstable(feature = "futures_api",
|
||||
reason = "futures in libcore are unstable",
|
||||
issue = "50547")]
|
||||
#[stable(feature = "futures_api", since = "1.36.0")]
|
||||
pub const fn new(data: *const (), vtable: &'static RawWakerVTable) -> RawWaker {
|
||||
RawWaker {
|
||||
data,
|
||||
@ -58,6 +55,7 @@ impl RawWaker {
|
||||
/// pointer of a properly constructed [`RawWaker`] object from inside the
|
||||
/// [`RawWaker`] implementation. Calling one of the contained functions using
|
||||
/// any other `data` pointer will cause undefined behavior.
|
||||
#[stable(feature = "futures_api", since = "1.36.0")]
|
||||
#[derive(PartialEq, Copy, Clone, Debug)]
|
||||
pub struct RawWakerVTable {
|
||||
/// This function will be called when the [`RawWaker`] gets cloned, e.g. when
|
||||
@ -131,9 +129,14 @@ impl RawWakerVTable {
|
||||
/// resources that are associated with this instance of a [`RawWaker`] and
|
||||
/// associated task.
|
||||
#[rustc_promotable]
|
||||
#[unstable(feature = "futures_api",
|
||||
reason = "futures in libcore are unstable",
|
||||
issue = "50547")]
|
||||
#[cfg_attr(stage0, unstable(feature = "futures_api_const_fn_ptr", issue = "50547"))]
|
||||
#[cfg_attr(not(stage0), stable(feature = "futures_api", since = "1.36.0"))]
|
||||
// `rustc_allow_const_fn_ptr` is a hack that should not be used anywhere else
|
||||
// without first consulting with T-Lang.
|
||||
//
|
||||
// FIXME: remove whenever we have a stable way to accept fn pointers from const fn
|
||||
// (see https://github.com/rust-rfcs/const-eval/issues/19#issuecomment-472799062)
|
||||
#[cfg_attr(not(stage0), rustc_allow_const_fn_ptr)]
|
||||
pub const fn new(
|
||||
clone: unsafe fn(*const ()) -> RawWaker,
|
||||
wake: unsafe fn(*const ()),
|
||||
@ -153,6 +156,7 @@ impl RawWakerVTable {
|
||||
///
|
||||
/// Currently, `Context` only serves to provide access to a `&Waker`
|
||||
/// which can be used to wake the current task.
|
||||
#[stable(feature = "futures_api", since = "1.36.0")]
|
||||
pub struct Context<'a> {
|
||||
waker: &'a Waker,
|
||||
// Ensure we future-proof against variance changes by forcing
|
||||
@ -164,6 +168,7 @@ pub struct Context<'a> {
|
||||
|
||||
impl<'a> Context<'a> {
|
||||
/// Create a new `Context` from a `&Waker`.
|
||||
#[stable(feature = "futures_api", since = "1.36.0")]
|
||||
#[inline]
|
||||
pub fn from_waker(waker: &'a Waker) -> Self {
|
||||
Context {
|
||||
@ -173,12 +178,14 @@ impl<'a> Context<'a> {
|
||||
}
|
||||
|
||||
/// Returns a reference to the `Waker` for the current task.
|
||||
#[stable(feature = "futures_api", since = "1.36.0")]
|
||||
#[inline]
|
||||
pub fn waker(&self) -> &'a Waker {
|
||||
&self.waker
|
||||
}
|
||||
}
|
||||
|
||||
#[stable(feature = "futures_api", since = "1.36.0")]
|
||||
impl fmt::Debug for Context<'_> {
|
||||
fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
|
||||
f.debug_struct("Context")
|
||||
@ -195,17 +202,22 @@ impl fmt::Debug for Context<'_> {
|
||||
///
|
||||
/// Implements [`Clone`], [`Send`], and [`Sync`].
|
||||
#[repr(transparent)]
|
||||
#[stable(feature = "futures_api", since = "1.36.0")]
|
||||
pub struct Waker {
|
||||
waker: RawWaker,
|
||||
}
|
||||
|
||||
#[stable(feature = "futures_api", since = "1.36.0")]
|
||||
impl Unpin for Waker {}
|
||||
#[stable(feature = "futures_api", since = "1.36.0")]
|
||||
unsafe impl Send for Waker {}
|
||||
#[stable(feature = "futures_api", since = "1.36.0")]
|
||||
unsafe impl Sync for Waker {}
|
||||
|
||||
impl Waker {
|
||||
/// Wake up the task associated with this `Waker`.
|
||||
#[inline]
|
||||
#[stable(feature = "futures_api", since = "1.36.0")]
|
||||
pub fn wake(self) {
|
||||
// The actual wakeup call is delegated through a virtual function call
|
||||
// to the implementation which is defined by the executor.
|
||||
@ -227,6 +239,7 @@ impl Waker {
|
||||
/// where an owned `Waker` is available. This method should be preferred to
|
||||
/// calling `waker.clone().wake()`.
|
||||
#[inline]
|
||||
#[stable(feature = "futures_api", since = "1.36.0")]
|
||||
pub fn wake_by_ref(&self) {
|
||||
// The actual wakeup call is delegated through a virtual function call
|
||||
// to the implementation which is defined by the executor.
|
||||
@ -243,6 +256,7 @@ impl Waker {
|
||||
///
|
||||
/// This function is primarily used for optimization purposes.
|
||||
#[inline]
|
||||
#[stable(feature = "futures_api", since = "1.36.0")]
|
||||
pub fn will_wake(&self, other: &Waker) -> bool {
|
||||
self.waker == other.waker
|
||||
}
|
||||
@ -253,6 +267,7 @@ impl Waker {
|
||||
/// in [`RawWaker`]'s and [`RawWakerVTable`]'s documentation is not upheld.
|
||||
/// Therefore this method is unsafe.
|
||||
#[inline]
|
||||
#[stable(feature = "futures_api", since = "1.36.0")]
|
||||
pub unsafe fn from_raw(waker: RawWaker) -> Waker {
|
||||
Waker {
|
||||
waker,
|
||||
@ -260,6 +275,7 @@ impl Waker {
|
||||
}
|
||||
}
|
||||
|
||||
#[stable(feature = "futures_api", since = "1.36.0")]
|
||||
impl Clone for Waker {
|
||||
#[inline]
|
||||
fn clone(&self) -> Self {
|
||||
@ -272,6 +288,7 @@ impl Clone for Waker {
|
||||
}
|
||||
}
|
||||
|
||||
#[stable(feature = "futures_api", since = "1.36.0")]
|
||||
impl Drop for Waker {
|
||||
#[inline]
|
||||
fn drop(&mut self) {
|
||||
@ -282,6 +299,7 @@ impl Drop for Waker {
|
||||
}
|
||||
}
|
||||
|
||||
#[stable(feature = "futures_api", since = "1.36.0")]
|
||||
impl fmt::Debug for Waker {
|
||||
fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
|
||||
let vtable_ptr = self.waker.vtable as *const RawWakerVTable;
|
||||
|
@ -121,6 +121,7 @@ impl_stable_hash_for!(struct ::syntax::attr::Stability {
|
||||
feature,
|
||||
rustc_depr,
|
||||
promotable,
|
||||
allow_const_fn_ptr,
|
||||
const_stability
|
||||
});
|
||||
|
||||
|
@ -441,6 +441,7 @@ impl<'a, 'tcx> Index<'tcx> {
|
||||
rustc_depr: None,
|
||||
const_stability: None,
|
||||
promotable: false,
|
||||
allow_const_fn_ptr: false,
|
||||
});
|
||||
annotator.parent_stab = Some(stability);
|
||||
}
|
||||
|
@ -235,6 +235,8 @@ rustc_queries! {
|
||||
/// constructor function).
|
||||
query is_promotable_const_fn(_: DefId) -> bool {}
|
||||
|
||||
query const_fn_is_allowed_fn_ptr(_: DefId) -> bool {}
|
||||
|
||||
/// True if this is a foreign item (i.e., linked via `extern { ... }`).
|
||||
query is_foreign_item(_: DefId) -> bool {}
|
||||
|
||||
|
@ -95,9 +95,16 @@ pub fn provide<'tcx>(providers: &mut Providers<'tcx>) {
|
||||
}
|
||||
}
|
||||
|
||||
fn const_fn_is_allowed_fn_ptr<'a, 'tcx>(tcx: TyCtxt<'a, 'tcx, 'tcx>, def_id: DefId) -> bool {
|
||||
tcx.is_const_fn(def_id) &&
|
||||
tcx.lookup_stability(def_id)
|
||||
.map(|stab| stab.allow_const_fn_ptr).unwrap_or(false)
|
||||
}
|
||||
|
||||
*providers = Providers {
|
||||
is_const_fn_raw,
|
||||
is_promotable_const_fn,
|
||||
const_fn_is_allowed_fn_ptr,
|
||||
..*providers
|
||||
};
|
||||
}
|
||||
|
@ -60,13 +60,14 @@ pub fn is_min_const_fn(
|
||||
}
|
||||
|
||||
for local in &mir.local_decls {
|
||||
check_ty(tcx, local.ty, local.source_info.span)?;
|
||||
check_ty(tcx, local.ty, local.source_info.span, def_id)?;
|
||||
}
|
||||
// impl trait is gone in MIR, so check the return type manually
|
||||
check_ty(
|
||||
tcx,
|
||||
tcx.fn_sig(def_id).output().skip_binder(),
|
||||
mir.local_decls.iter().next().unwrap().source_info.span,
|
||||
def_id,
|
||||
)?;
|
||||
|
||||
for bb in mir.basic_blocks() {
|
||||
@ -82,6 +83,7 @@ fn check_ty(
|
||||
tcx: TyCtxt<'a, 'tcx, 'tcx>,
|
||||
ty: ty::Ty<'tcx>,
|
||||
span: Span,
|
||||
fn_def_id: DefId,
|
||||
) -> McfResult {
|
||||
for ty in ty.walk() {
|
||||
match ty.sty {
|
||||
@ -91,7 +93,9 @@ fn check_ty(
|
||||
)),
|
||||
ty::Opaque(..) => return Err((span, "`impl Trait` in const fn is unstable".into())),
|
||||
ty::FnPtr(..) => {
|
||||
return Err((span, "function pointers in const fn are unstable".into()))
|
||||
if !tcx.const_fn_is_allowed_fn_ptr(fn_def_id) {
|
||||
return Err((span, "function pointers in const fn are unstable".into()))
|
||||
}
|
||||
}
|
||||
ty::Dynamic(preds, _) => {
|
||||
for pred in preds.iter() {
|
||||
|
@ -9,6 +9,7 @@ use core::task::{Context, Poll};
|
||||
use core::ops::{Drop, Generator, GeneratorState};
|
||||
|
||||
#[doc(inline)]
|
||||
#[stable(feature = "futures_api", since = "1.36.0")]
|
||||
pub use core::future::*;
|
||||
|
||||
/// Wrap a generator in a future.
|
||||
|
@ -263,7 +263,6 @@
|
||||
#![feature(fixed_size_array)]
|
||||
#![feature(fn_traits)]
|
||||
#![feature(fnbox)]
|
||||
#![feature(futures_api)]
|
||||
#![feature(generator_trait)]
|
||||
#![feature(hash_raw_entry)]
|
||||
#![feature(hashmap_internals)]
|
||||
@ -458,18 +457,15 @@ pub mod process;
|
||||
pub mod sync;
|
||||
pub mod time;
|
||||
|
||||
#[unstable(feature = "futures_api",
|
||||
reason = "futures in libcore are unstable",
|
||||
issue = "50547")]
|
||||
#[stable(feature = "futures_api", since = "1.36.0")]
|
||||
pub mod task {
|
||||
//! Types and Traits for working with asynchronous tasks.
|
||||
#[doc(inline)]
|
||||
#[stable(feature = "futures_api", since = "1.36.0")]
|
||||
pub use core::task::*;
|
||||
}
|
||||
|
||||
#[unstable(feature = "futures_api",
|
||||
reason = "futures in libcore are unstable",
|
||||
issue = "50547")]
|
||||
#[stable(feature = "futures_api", since = "1.36.0")]
|
||||
pub mod future;
|
||||
|
||||
// Platform-abstraction modules
|
||||
|
@ -319,7 +319,7 @@ impl<T: fmt::Debug> fmt::Debug for AssertUnwindSafe<T> {
|
||||
}
|
||||
}
|
||||
|
||||
#[unstable(feature = "futures_api", issue = "50547")]
|
||||
#[stable(feature = "futures_api", since = "1.36.0")]
|
||||
impl<F: Future> Future for AssertUnwindSafe<F> {
|
||||
type Output = F::Output;
|
||||
|
||||
|
@ -114,6 +114,8 @@ pub struct Stability {
|
||||
pub const_stability: Option<Symbol>,
|
||||
/// whether the function has a `#[rustc_promotable]` attribute
|
||||
pub promotable: bool,
|
||||
/// whether the function has a `#[rustc_allow_const_fn_ptr]` attribute
|
||||
pub allow_const_fn_ptr: bool,
|
||||
}
|
||||
|
||||
/// The available stability levels.
|
||||
@ -178,6 +180,7 @@ fn find_stability_generic<'a, I>(sess: &ParseSess,
|
||||
let mut rustc_depr: Option<RustcDeprecation> = None;
|
||||
let mut rustc_const_unstable: Option<Symbol> = None;
|
||||
let mut promotable = false;
|
||||
let mut allow_const_fn_ptr = false;
|
||||
let diagnostic = &sess.span_diagnostic;
|
||||
|
||||
'outer: for attr in attrs_iter {
|
||||
@ -187,6 +190,7 @@ fn find_stability_generic<'a, I>(sess: &ParseSess,
|
||||
"unstable",
|
||||
"stable",
|
||||
"rustc_promotable",
|
||||
"rustc_allow_const_fn_ptr",
|
||||
].iter().any(|&s| attr.path == s) {
|
||||
continue // not a stability level
|
||||
}
|
||||
@ -198,6 +202,9 @@ fn find_stability_generic<'a, I>(sess: &ParseSess,
|
||||
if attr.path == "rustc_promotable" {
|
||||
promotable = true;
|
||||
}
|
||||
if attr.path == "rustc_allow_const_fn_ptr" {
|
||||
allow_const_fn_ptr = true;
|
||||
}
|
||||
// attributes with data
|
||||
else if let Some(MetaItem { node: MetaItemKind::List(ref metas), .. }) = meta {
|
||||
let meta = meta.as_ref().unwrap();
|
||||
@ -354,6 +361,7 @@ fn find_stability_generic<'a, I>(sess: &ParseSess,
|
||||
rustc_depr: None,
|
||||
const_stability: None,
|
||||
promotable: false,
|
||||
allow_const_fn_ptr: false,
|
||||
})
|
||||
}
|
||||
(None, _, _) => {
|
||||
@ -418,6 +426,7 @@ fn find_stability_generic<'a, I>(sess: &ParseSess,
|
||||
rustc_depr: None,
|
||||
const_stability: None,
|
||||
promotable: false,
|
||||
allow_const_fn_ptr: false,
|
||||
})
|
||||
}
|
||||
(None, _) => {
|
||||
@ -458,13 +467,14 @@ fn find_stability_generic<'a, I>(sess: &ParseSess,
|
||||
}
|
||||
|
||||
// Merge the const-unstable info into the stability info
|
||||
if promotable {
|
||||
if promotable || allow_const_fn_ptr {
|
||||
if let Some(ref mut stab) = stab {
|
||||
stab.promotable = true;
|
||||
stab.promotable = promotable;
|
||||
stab.allow_const_fn_ptr = allow_const_fn_ptr;
|
||||
} else {
|
||||
span_err!(diagnostic, item_sp, E0717,
|
||||
"rustc_promotable attribute must be paired with \
|
||||
either stable or unstable attribute");
|
||||
"rustc_promotable and rustc_allow_const_fn_ptr attributes \
|
||||
must be paired with either stable or unstable attribute");
|
||||
}
|
||||
}
|
||||
|
||||
|
@ -1,5 +1,5 @@
|
||||
#![deny(unused_must_use)]
|
||||
#![feature(arbitrary_self_types, futures_api)]
|
||||
#![feature(arbitrary_self_types)]
|
||||
|
||||
use std::iter::Iterator;
|
||||
use std::future::Future;
|
||||
|
@ -1,7 +1,7 @@
|
||||
// edition:2018
|
||||
// aux-build:arc_wake.rs
|
||||
|
||||
#![feature(async_await, await_macro, futures_api)]
|
||||
#![feature(async_await, await_macro)]
|
||||
|
||||
extern crate arc_wake;
|
||||
|
||||
|
@ -1,7 +1,5 @@
|
||||
// edition:2018
|
||||
|
||||
#![feature(futures_api)]
|
||||
|
||||
use std::sync::Arc;
|
||||
use std::task::{
|
||||
Waker, RawWaker, RawWakerVTable,
|
||||
|
@ -1,7 +1,5 @@
|
||||
// aux-build:arc_wake.rs
|
||||
|
||||
#![feature(futures_api)]
|
||||
|
||||
extern crate arc_wake;
|
||||
|
||||
use std::future::Future;
|
||||
|
@ -3,7 +3,7 @@
|
||||
// run-pass
|
||||
|
||||
#![allow(unused_variables)]
|
||||
#![feature(async_await, await_macro, futures_api)]
|
||||
#![feature(async_await, await_macro)]
|
||||
|
||||
extern crate arc_wake;
|
||||
|
||||
|
@ -1,7 +1,7 @@
|
||||
// edition:2018
|
||||
// run-pass
|
||||
|
||||
#![feature(async_await, await_macro, futures_api)]
|
||||
#![feature(async_await, await_macro)]
|
||||
|
||||
trait Foo { }
|
||||
|
||||
|
@ -1,6 +1,6 @@
|
||||
// edition:2018
|
||||
|
||||
#![feature(async_await, futures_api)]
|
||||
#![feature(async_await)]
|
||||
|
||||
// @has async_fn/fn.foo.html '//pre[@class="rust fn"]' 'pub async fn foo() -> Option<Foo>'
|
||||
pub async fn foo() -> Option<Foo> {
|
||||
|
@ -1,6 +1,6 @@
|
||||
// edition:2018
|
||||
|
||||
#![feature(arbitrary_self_types, async_await, await_macro, futures_api, pin)]
|
||||
#![feature(arbitrary_self_types, async_await, await_macro, pin)]
|
||||
|
||||
use std::ops::Add;
|
||||
|
||||
|
10
src/test/ui/consts/min_const_fn/allow_const_fn_ptr.rs
Normal file
10
src/test/ui/consts/min_const_fn/allow_const_fn_ptr.rs
Normal file
@ -0,0 +1,10 @@
|
||||
#![feature(rustc_attrs, staged_api)]
|
||||
|
||||
#[stable(feature = "rust1", since = "1.0.0")]
|
||||
const fn error(_: fn()) {} //~ ERROR function pointers in const fn are unstable
|
||||
|
||||
#[stable(feature = "rust1", since = "1.0.0")]
|
||||
#[rustc_allow_const_fn_ptr]
|
||||
const fn compiles(_: fn()) {}
|
||||
|
||||
fn main() {}
|
12
src/test/ui/consts/min_const_fn/allow_const_fn_ptr.stderr
Normal file
12
src/test/ui/consts/min_const_fn/allow_const_fn_ptr.stderr
Normal file
@ -0,0 +1,12 @@
|
||||
error[E0723]: function pointers in const fn are unstable
|
||||
--> $DIR/allow_const_fn_ptr.rs:4:16
|
||||
|
|
||||
LL | const fn error(_: fn()) {}
|
||||
| ^
|
||||
|
|
||||
= note: for more information, see issue https://github.com/rust-lang/rust/issues/57563
|
||||
= help: add #![feature(const_fn)] to the crate attributes to enable
|
||||
|
||||
error: aborting due to previous error
|
||||
|
||||
For more information about this error, try `rustc --explain E0723`.
|
@ -0,0 +1,11 @@
|
||||
#![feature(staged_api)]
|
||||
|
||||
#[stable(feature = "rust1", since = "1.0.0")]
|
||||
const fn error(_: fn()) {}
|
||||
|
||||
#[stable(feature = "rust1", since = "1.0.0")]
|
||||
#[rustc_allow_const_fn_ptr]
|
||||
//~^ ERROR unless otherwise specified, attributes with the prefix `rustc_` are reserved
|
||||
const fn compiles(_: fn()) {}
|
||||
|
||||
fn main() {}
|
@ -0,0 +1,12 @@
|
||||
error[E0658]: unless otherwise specified, attributes with the prefix `rustc_` are reserved for internal compiler diagnostics
|
||||
--> $DIR/allow_const_fn_ptr_feature_gate.rs:7:3
|
||||
|
|
||||
LL | #[rustc_allow_const_fn_ptr]
|
||||
| ^^^^^^^^^^^^^^^^^^^^^^^^
|
||||
|
|
||||
= note: for more information, see https://github.com/rust-lang/rust/issues/29642
|
||||
= help: add #![feature(rustc_attrs)] to the crate attributes to enable
|
||||
|
||||
error: aborting due to previous error
|
||||
|
||||
For more information about this error, try `rustc --explain E0658`.
|
@ -0,0 +1,18 @@
|
||||
// run-pass
|
||||
|
||||
#![feature(rustc_attrs, staged_api)]
|
||||
#![stable(feature = "rust1", since = "1.0.0")]
|
||||
|
||||
#[stable(feature = "rust1", since = "1.0.0")]
|
||||
#[rustc_allow_const_fn_ptr]
|
||||
const fn takes_fn_ptr(_: fn()) {}
|
||||
|
||||
const FN: fn() = || ();
|
||||
|
||||
const fn gives_fn_ptr() {
|
||||
takes_fn_ptr(FN)
|
||||
}
|
||||
|
||||
fn main() {
|
||||
gives_fn_ptr();
|
||||
}
|
@ -1,6 +1,6 @@
|
||||
// edition:2015
|
||||
|
||||
#![feature(futures_api, async_await)]
|
||||
#![feature(async_await)]
|
||||
|
||||
async fn foo() {} //~ ERROR `async fn` is not permitted in the 2015 edition
|
||||
|
||||
|
@ -1,7 +1,5 @@
|
||||
// edition:2015
|
||||
|
||||
#![feature(futures_api)]
|
||||
|
||||
async fn foo() {} //~ ERROR `async fn` is not permitted in the 2015 edition
|
||||
//~^ ERROR async fn is unstable
|
||||
|
||||
|
@ -1,23 +1,23 @@
|
||||
error[E0670]: `async fn` is not permitted in the 2015 edition
|
||||
--> $DIR/feature-gate-async-await-2015-edition.rs:5:1
|
||||
--> $DIR/feature-gate-async-await-2015-edition.rs:3:1
|
||||
|
|
||||
LL | async fn foo() {}
|
||||
| ^^^^^
|
||||
|
||||
error[E0422]: cannot find struct, variant or union type `async` in this scope
|
||||
--> $DIR/feature-gate-async-await-2015-edition.rs:9:13
|
||||
--> $DIR/feature-gate-async-await-2015-edition.rs:7:13
|
||||
|
|
||||
LL | let _ = async {};
|
||||
| ^^^^^ not found in this scope
|
||||
|
||||
error[E0425]: cannot find value `async` in this scope
|
||||
--> $DIR/feature-gate-async-await-2015-edition.rs:10:13
|
||||
--> $DIR/feature-gate-async-await-2015-edition.rs:8:13
|
||||
|
|
||||
LL | let _ = async || { true };
|
||||
| ^^^^^ not found in this scope
|
||||
|
||||
error[E0658]: async fn is unstable
|
||||
--> $DIR/feature-gate-async-await-2015-edition.rs:5:1
|
||||
--> $DIR/feature-gate-async-await-2015-edition.rs:3:1
|
||||
|
|
||||
LL | async fn foo() {}
|
||||
| ^^^^^^^^^^^^^^^^^
|
||||
|
@ -1,7 +1,5 @@
|
||||
// edition:2018
|
||||
|
||||
#![feature(futures_api)]
|
||||
|
||||
struct S;
|
||||
|
||||
impl S {
|
||||
|
@ -1,11 +1,11 @@
|
||||
error[E0706]: trait fns cannot be declared `async`
|
||||
--> $DIR/feature-gate-async-await.rs:12:5
|
||||
--> $DIR/feature-gate-async-await.rs:10:5
|
||||
|
|
||||
LL | async fn foo();
|
||||
| ^^^^^^^^^^^^^^^
|
||||
|
||||
error[E0658]: async fn is unstable
|
||||
--> $DIR/feature-gate-async-await.rs:8:5
|
||||
--> $DIR/feature-gate-async-await.rs:6:5
|
||||
|
|
||||
LL | async fn foo() {}
|
||||
| ^^^^^^^^^^^^^^^^^
|
||||
@ -14,7 +14,7 @@ LL | async fn foo() {}
|
||||
= help: add #![feature(async_await)] to the crate attributes to enable
|
||||
|
||||
error[E0658]: async fn is unstable
|
||||
--> $DIR/feature-gate-async-await.rs:12:5
|
||||
--> $DIR/feature-gate-async-await.rs:10:5
|
||||
|
|
||||
LL | async fn foo();
|
||||
| ^^^^^^^^^^^^^^^
|
||||
@ -23,7 +23,7 @@ LL | async fn foo();
|
||||
= help: add #![feature(async_await)] to the crate attributes to enable
|
||||
|
||||
error[E0658]: async fn is unstable
|
||||
--> $DIR/feature-gate-async-await.rs:16:1
|
||||
--> $DIR/feature-gate-async-await.rs:14:1
|
||||
|
|
||||
LL | async fn foo() {}
|
||||
| ^^^^^^^^^^^^^^^^^
|
||||
@ -32,7 +32,7 @@ LL | async fn foo() {}
|
||||
= help: add #![feature(async_await)] to the crate attributes to enable
|
||||
|
||||
error[E0658]: async blocks are unstable
|
||||
--> $DIR/feature-gate-async-await.rs:19:13
|
||||
--> $DIR/feature-gate-async-await.rs:17:13
|
||||
|
|
||||
LL | let _ = async {};
|
||||
| ^^^^^^^^
|
||||
@ -41,7 +41,7 @@ LL | let _ = async {};
|
||||
= help: add #![feature(async_await)] to the crate attributes to enable
|
||||
|
||||
error[E0658]: async closures are unstable
|
||||
--> $DIR/feature-gate-async-await.rs:20:13
|
||||
--> $DIR/feature-gate-async-await.rs:18:13
|
||||
|
|
||||
LL | let _ = async || {};
|
||||
| ^^^^^^^^^^^
|
||||
|
@ -2,7 +2,7 @@
|
||||
// Test that impl trait does not allow creating recursive types that are
|
||||
// otherwise forbidden when using `async` and `await`.
|
||||
|
||||
#![feature(await_macro, async_await, futures_api, generators)]
|
||||
#![feature(await_macro, async_await, generators)]
|
||||
|
||||
async fn recursive_async_function() -> () { //~ ERROR
|
||||
await!(recursive_async_function());
|
||||
|
@ -1,7 +1,7 @@
|
||||
// Test that impl trait does not allow creating recursive types that are
|
||||
// otherwise forbidden.
|
||||
|
||||
#![feature(futures_api, generators)]
|
||||
#![feature(generators)]
|
||||
|
||||
fn option(i: i32) -> impl Sized { //~ ERROR
|
||||
if i < 0 {
|
||||
|
@ -1,7 +1,7 @@
|
||||
// compile-pass
|
||||
// edition:2018
|
||||
|
||||
#![feature(async_await, await_macro, futures_api)]
|
||||
#![feature(async_await, await_macro)]
|
||||
|
||||
use std::sync::Arc;
|
||||
|
||||
|
@ -1,7 +1,7 @@
|
||||
// compile-pass
|
||||
// edition:2018
|
||||
|
||||
#![feature(async_await, await_macro, futures_api)]
|
||||
#![feature(async_await, await_macro)]
|
||||
|
||||
use std::future::Future;
|
||||
|
||||
|
@ -1,7 +1,7 @@
|
||||
// compile-pass
|
||||
// edition:2018
|
||||
|
||||
#![feature(async_await, await_macro, futures_api)]
|
||||
#![feature(async_await, await_macro)]
|
||||
|
||||
struct Xyz {
|
||||
a: u64,
|
||||
|
@ -1,7 +1,7 @@
|
||||
// compile-pass
|
||||
// edition:2018
|
||||
|
||||
#![feature(async_await, await_macro, futures_api)]
|
||||
#![feature(async_await, await_macro)]
|
||||
|
||||
use std::future::Future;
|
||||
|
||||
|
@ -1,6 +1,6 @@
|
||||
// edition:2018
|
||||
|
||||
#![feature(arbitrary_self_types, async_await, await_macro, futures_api, pin)]
|
||||
#![feature(async_await, await_macro)]
|
||||
|
||||
fn main() {
|
||||
let _ = async |x: u8| {};
|
||||
|
@ -1,7 +1,6 @@
|
||||
// compile-pass
|
||||
|
||||
#![allow(dead_code, unused)]
|
||||
#![feature(futures_api)]
|
||||
|
||||
use std::task::Poll;
|
||||
|
||||
|
Loading…
x
Reference in New Issue
Block a user