2019-11-29 23:43:32 -06:00
|
|
|
//! # Feature gates
|
2013-10-02 20:10:16 -05:00
|
|
|
//!
|
2019-11-29 23:43:32 -06:00
|
|
|
//! This crate declares the set of past and present unstable features in the compiler.
|
|
|
|
//! Feature gate checking itself is done in `libsyntax/feature_gate/check.rs` at the moment.
|
2013-10-02 20:10:16 -05:00
|
|
|
//!
|
|
|
|
//! Features are enabled in programs via the crate-level attributes of
|
2014-06-22 12:29:42 -05:00
|
|
|
//! `#![feature(...)]` with a comma-separated list of features.
|
2015-01-14 21:27:45 -06:00
|
|
|
//!
|
2019-11-29 23:43:32 -06:00
|
|
|
//! For the purpose of future feature-tracking, once a feature gate is added,
|
|
|
|
//! even if it is stabilized or removed, *do not remove it*. Instead, move the
|
|
|
|
//! symbol to the `accepted` or `removed` modules respectively.
|
2015-02-03 16:31:06 -06:00
|
|
|
|
2019-08-20 11:40:53 -05:00
|
|
|
mod accepted;
|
2019-08-20 11:41:18 -05:00
|
|
|
mod removed;
|
2019-08-20 11:50:33 -05:00
|
|
|
mod active;
|
2019-11-29 19:34:18 -06:00
|
|
|
mod builtin_attrs;
|
2019-08-22 16:48:08 -05:00
|
|
|
|
2019-11-11 11:33:30 -06:00
|
|
|
use std::fmt;
|
|
|
|
use std::num::NonZeroU32;
|
2019-11-29 17:23:38 -06:00
|
|
|
use syntax_pos::{Span, edition::Edition, symbol::Symbol};
|
2019-08-24 10:50:21 -05:00
|
|
|
|
|
|
|
#[derive(Clone, Copy)]
|
|
|
|
pub enum State {
|
|
|
|
Accepted,
|
|
|
|
Active { set: fn(&mut Features, Span) },
|
|
|
|
Removed { reason: Option<&'static str> },
|
|
|
|
Stabilized { reason: Option<&'static str> },
|
|
|
|
}
|
|
|
|
|
|
|
|
impl fmt::Debug for State {
|
|
|
|
fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
|
|
|
|
match self {
|
|
|
|
State::Accepted { .. } => write!(f, "accepted"),
|
|
|
|
State::Active { .. } => write!(f, "active"),
|
|
|
|
State::Removed { .. } => write!(f, "removed"),
|
|
|
|
State::Stabilized { .. } => write!(f, "stabilized"),
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
#[derive(Debug, Clone)]
|
|
|
|
pub struct Feature {
|
2019-11-29 17:23:38 -06:00
|
|
|
pub state: State,
|
|
|
|
pub name: Symbol,
|
|
|
|
pub since: &'static str,
|
2019-11-11 11:33:30 -06:00
|
|
|
issue: Option<u32>, // FIXME: once #58732 is done make this an Option<NonZeroU32>
|
2019-11-29 17:23:38 -06:00
|
|
|
pub edition: Option<Edition>,
|
2019-08-24 10:50:21 -05:00
|
|
|
description: &'static str,
|
|
|
|
}
|
|
|
|
|
2019-11-11 11:33:30 -06:00
|
|
|
impl Feature {
|
2019-11-29 17:23:38 -06:00
|
|
|
// FIXME(Centril): privatize again.
|
|
|
|
pub fn issue(&self) -> Option<NonZeroU32> {
|
2019-11-11 11:33:30 -06:00
|
|
|
self.issue.and_then(|i| NonZeroU32::new(i))
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2019-11-29 17:39:51 -06:00
|
|
|
#[derive(Copy, Clone, Debug)]
|
|
|
|
pub enum Stability {
|
|
|
|
Unstable,
|
|
|
|
// First argument is tracking issue link; second argument is an optional
|
|
|
|
// help message, which defaults to "remove this attribute".
|
|
|
|
Deprecated(&'static str, Option<&'static str>),
|
|
|
|
}
|
|
|
|
|
2019-11-29 19:50:47 -06:00
|
|
|
#[derive(Clone, Copy, Hash)]
|
|
|
|
pub enum UnstableFeatures {
|
|
|
|
/// Hard errors for unstable features are active, as on beta/stable channels.
|
|
|
|
Disallow,
|
|
|
|
/// Allow features to be activated, as on nightly.
|
|
|
|
Allow,
|
|
|
|
/// Errors are bypassed for bootstrapping. This is required any time
|
|
|
|
/// during the build that feature-related lints are set to warn or above
|
|
|
|
/// because the build turns on warnings-as-errors and uses lots of unstable
|
|
|
|
/// features. As a result, this is always required for building Rust itself.
|
|
|
|
Cheat
|
|
|
|
}
|
|
|
|
|
|
|
|
impl UnstableFeatures {
|
|
|
|
pub fn from_environment() -> UnstableFeatures {
|
|
|
|
// `true` if this is a feature-staged build, i.e., on the beta or stable channel.
|
|
|
|
let disable_unstable_features = option_env!("CFG_DISABLE_UNSTABLE_FEATURES").is_some();
|
|
|
|
// `true` if we should enable unstable features for bootstrapping.
|
|
|
|
let bootstrap = std::env::var("RUSTC_BOOTSTRAP").is_ok();
|
|
|
|
match (disable_unstable_features, bootstrap) {
|
|
|
|
(_, true) => UnstableFeatures::Cheat,
|
|
|
|
(true, _) => UnstableFeatures::Disallow,
|
|
|
|
(false, _) => UnstableFeatures::Allow
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
pub fn is_nightly_build(&self) -> bool {
|
|
|
|
match *self {
|
|
|
|
UnstableFeatures::Allow | UnstableFeatures::Cheat => true,
|
|
|
|
UnstableFeatures::Disallow => false,
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2019-11-29 17:23:38 -06:00
|
|
|
pub use accepted::ACCEPTED_FEATURES;
|
|
|
|
pub use active::{ACTIVE_FEATURES, Features, INCOMPLETE_FEATURES};
|
|
|
|
pub use removed::{REMOVED_FEATURES, STABLE_REMOVED_FEATURES};
|
2019-11-29 19:34:18 -06:00
|
|
|
pub use builtin_attrs::{
|
|
|
|
AttributeGate, AttributeTemplate, AttributeType, find_gated_cfg, GatedCfg,
|
|
|
|
BuiltinAttribute, BUILTIN_ATTRIBUTES, BUILTIN_ATTRIBUTE_MAP,
|
|
|
|
deprecated_attributes, is_builtin_attr_name,
|
|
|
|
};
|