rustc_ast_passes/

feature_gate.rs

use rustc_ast::visit::{self, AssocCtxt, FnKind, Visitor};
use rustc_ast::{self as ast, AttrVec, GenericBound, NodeId, PatKind, attr, token};
use rustc_attr_ir::{Attribute, AttributeKind};
use rustc_attr_parsing::AttributeParser;
use rustc_errors::msg;
use rustc_feature::{DependentFeature, Features};
use rustc_session::Session;
use rustc_session::config::NextSolverConfig;
use rustc_session::diagnostics::{feature_err, feature_warn};
use rustc_span::{Span, Spanned, sym};

use crate::diagnostics;

/// The common case.
macro_rules! gate {
    ($visitor:expr, $feature:ident, $span:expr, $explain:expr $(, $help:expr)?) => {{
        if !$visitor.features.$feature() && !$span.allows_unstable(sym::$feature) {
            feature_err($visitor.sess, sym::$feature, $span, $explain)
                $(.with_help($help))?
                .emit();
        }
    }};
}

/// The unusual case, where the `has_feature` condition is non-standard.
macro_rules! gate_alt {
    ($visitor:expr, $has_feature:expr, $name:expr, $span:expr, $explain:expr $(, $notes:expr)?) => {{
        if !$has_feature && !$span.allows_unstable($name) {
            #[allow(unused_mut)]
            let mut diag = feature_err($visitor.sess, $name, $span, $explain);
            $(for &note in $notes { diag.note(note); })?
            diag.emit();
        }
    }};
}

/// The case involving a multispan.
macro_rules! gate_multi {
    ($visitor:expr, $feature:ident, $spans:expr, $explain:expr) => {{
        if !$visitor.features.$feature() {
            let spans: Vec<_> =
                $spans.filter(|span| !span.allows_unstable(sym::$feature)).collect();
            if !spans.is_empty() {
                feature_err($visitor.sess, sym::$feature, spans, $explain).emit();
            }
        }
    }};
}

struct PostExpansionVisitor<'a> {
    sess: &'a Session,

    // `sess` contains a `Features`, but this might not be that one.
    features: &'a Features,
}

// -----------------------------------------------------------------------------
// POST-EXPANSION FEATURE GATES FOR UNSTABLE ATTRIBUTES ETC.
// **LEGACY**  POST-EXPANSION FEATURE GATES FOR UNSTABLE SYNTAX  **LEGACY**
// -----------------------------------------------------------------------------

// IMPORTANT: Don't add any new post-expansion feature gates for new unstable syntax!
//            It's a legacy mechanism for them.
//            Instead, register a pre-expansion feature gate using `gate_all` in fn `check_crate`.

impl<'a> PostExpansionVisitor<'a> {
    /// Feature gate `impl Trait` inside `type Alias = $type_expr;`.
    fn check_impl_trait(&self, ty: &ast::Ty, in_associated_ty: bool) {
        struct ImplTraitVisitor<'a> {
            vis: &'a PostExpansionVisitor<'a>,
            in_associated_ty: bool,
        }
        impl Visitor<'_> for ImplTraitVisitor<'_> {
            fn visit_ty(&mut self, ty: &ast::Ty) {
                if let ast::TyKind::ImplTrait(..) = ty.kind {
                    if self.in_associated_ty {
                        gate!(
                            self.vis,
                            impl_trait_in_assoc_type,
                            ty.span,
                            "`impl Trait` in associated types is unstable"
                        );
                    } else {
                        gate!(
                            self.vis,
                            type_alias_impl_trait,
                            ty.span,
                            "`impl Trait` in type aliases is unstable"
                        );
                    }
                }
                visit::walk_ty(self, ty);
            }

            fn visit_anon_const(&mut self, _: &ast::AnonConst) -> Self::Result {
                // We don't walk the anon const because it crosses a conceptual boundary: We're no
                // longer "inside" the original type.
                // Brittle: We assume that the callers of `check_impl_trait` will later recurse into
                // the items found in the AnonConst to look for nested TyAliases.
            }
        }
        ImplTraitVisitor { vis: self, in_associated_ty }.visit_ty(ty);
    }

    fn check_late_bound_lifetime_defs(&self, params: &[ast::GenericParam]) {
        // Check only lifetime parameters are present and that the
        // generic parameters that are present have no bounds.
        let non_lt_param_spans = params.iter().filter_map(|param| match param.kind {
            ast::GenericParamKind::Lifetime { .. } => None,
            _ => Some(param.ident.span),
        });
        gate_multi!(
            &self,
            non_lifetime_binders,
            non_lt_param_spans,
            msg!("only lifetime parameters can be used in this context")
        );

        // FIXME(non_lifetime_binders): Const bound params are pretty broken.
        // Let's keep users from using this feature accidentally.
        if self.features.non_lifetime_binders() {
            let const_param_spans: Vec<_> = params
                .iter()
                .filter_map(|param| match param.kind {
                    ast::GenericParamKind::Const { .. } => Some(param.ident.span),
                    _ => None,
                })
                .collect();

            if !const_param_spans.is_empty() {
                self.sess.dcx().emit_err(diagnostics::ForbiddenConstParam { const_param_spans });
            }
        }

        for param in params {
            if !param.bounds.is_empty() {
                let spans: Vec<_> = param.bounds.iter().map(|b| b.span()).collect();
                if param.bounds.iter().any(|bound| matches!(bound, GenericBound::Trait(_))) {
                    // Issue #149695
                    // Abort immediately otherwise items defined in complex bounds will be lowered into HIR,
                    // which will cause ICEs when errors of the items visit unlowered parents.
                    self.sess.dcx().emit_fatal(diagnostics::ForbiddenBound { spans });
                } else {
                    self.sess.dcx().emit_err(diagnostics::ForbiddenBound { spans });
                }
            }
        }
    }
}

impl<'a> Visitor<'a> for PostExpansionVisitor<'a> {
    fn visit_attribute(&mut self, attr: &'a ast::Attribute) {
        // Checked in attribute parsers, do NOT add checks here
        visit::walk_attribute(self, attr)
    }

    fn visit_item(&mut self, i: &'a ast::Item) {
        match &i.kind {
            ast::ItemKind::ForeignMod(_foreign_module) => {
                // handled during lowering
            }
            ast::ItemKind::Impl(ast::Impl { of_trait: Some(of_trait), .. }) => {
                if let ast::ImplPolarity::Negative(span) = of_trait.polarity {
                    gate!(
                        self,
                        negative_impls,
                        span.to(of_trait.trait_ref.path.span),
                        "negative impls are experimental",
                        "use marker types for now"
                    );
                }

                if let ast::Defaultness::Default(_) = of_trait.defaultness {
                    gate!(self, specialization, i.span, "specialization is experimental");
                }
            }

            ast::ItemKind::Trait(ast::Trait { is_auto: ast::IsAuto::Yes, .. }) => {
                gate!(self, auto_traits, i.span, "auto traits are experimental and possibly buggy");
            }

            ast::ItemKind::TraitAlias(..) => {
                gate!(self, trait_alias, i.span, "trait aliases are experimental");
            }

            ast::ItemKind::MacroDef(_, ast::MacroDef { macro_rules: false, .. }) => {
                let msg = "`macro` is experimental";
                gate!(self, decl_macro, i.span, msg);
            }

            ast::ItemKind::TyAlias(ast::TyAlias { ty: Some(ty), .. }) => {
                self.check_impl_trait(ty, false)
            }

            _ => {}
        }

        visit::walk_item(self, i);
    }

    fn visit_foreign_item(&mut self, i: &'a ast::ForeignItem) {
        match i.kind {
            ast::ForeignItemKind::Fn(..) | ast::ForeignItemKind::Static(..) => {
                let symbol_name = if let Some(link_name) =
                    attr::first_attr_value_str_by_name(&i.attrs, sym::link_name)
                {
                    link_name
                } else {
                    i.kind.ident().unwrap().name
                };

                let name = symbol_name.as_str();
                if name.starts_with("llvm.") {
                    gate!(
                        self,
                        link_llvm_intrinsics,
                        i.span,
                        "linking to LLVM intrinsics is experimental"
                    );
                } else if name.starts_with("__enzyme_") {
                    gate!(
                        self,
                        link_enzyme_intrinsics,
                        i.span,
                        "linking to Enzyme intrinsics is experimental"
                    );
                }
            }
            ast::ForeignItemKind::TyAlias(..) => {
                gate!(self, extern_types, i.span, "extern types are experimental");
            }
            ast::ForeignItemKind::MacCall(..) => {}
        }

        visit::walk_item(self, i)
    }

    fn visit_ty(&mut self, ty: &'a ast::Ty) {
        match &ty.kind {
            ast::TyKind::FnPtr(fn_ptr_ty) => {
                // Function pointers cannot be `const`
                self.check_late_bound_lifetime_defs(&fn_ptr_ty.generic_params);
            }
            ast::TyKind::Pat(..) => {
                gate!(self, pattern_types, ty.span, "pattern types are unstable");
            }
            ast::TyKind::View(..) => {
                gate!(self, view_types, ty.span, "view types are unstable");
            }
            _ => {}
        }
        visit::walk_ty(self, ty)
    }

    fn visit_where_predicate_kind(&mut self, kind: &'a ast::WherePredicateKind) {
        if let ast::WherePredicateKind::BoundPredicate(bound) = kind {
            // A type bound (e.g., `for<'c> Foo: Send + Clone + 'c`).
            self.check_late_bound_lifetime_defs(&bound.bound_generic_params);
        }
        visit::walk_where_predicate_kind(self, kind);
    }

    fn visit_fn_ret_ty(&mut self, ret_ty: &'a ast::FnRetTy) {
        if let ast::FnRetTy::Ty(output_ty) = ret_ty {
            if let ast::TyKind::Never = output_ty.kind {
                // Do nothing.
            } else {
                self.visit_ty(output_ty)
            }
        }
    }

    fn visit_generic_args(&mut self, args: &'a ast::GenericArgs) {
        visit::walk_generic_args(self, args);
    }

    fn visit_expr(&mut self, e: &'a ast::Expr) {
        match e.kind {
            ast::ExprKind::TryBlock(_, None) => {
                // `try { ... }` is old and is only gated post-expansion here.
                gate!(self, try_blocks, e.span, "`try` expression is experimental");
            }
            ast::ExprKind::TryBlock(_, Some(_)) => {
                // `try_blocks_heterogeneous` is new, and gated pre-expansion instead.
            }
            ast::ExprKind::Lit(token::Lit {
                kind: token::LitKind::Float | token::LitKind::Integer,
                suffix,
                ..
            }) => match suffix {
                Some(sym::f16) => {
                    gate!(self, f16, e.span, "the type `f16` is unstable")
                }
                Some(sym::f128) => {
                    gate!(self, f128, e.span, "the type `f128` is unstable")
                }
                _ => (),
            },
            _ => {}
        }
        visit::walk_expr(self, e)
    }

    fn visit_pat(&mut self, pattern: &'a ast::Pat) {
        match &pattern.kind {
            PatKind::Slice(pats) => {
                for pat in pats {
                    let inner_pat = match &pat.kind {
                        PatKind::Ident(.., Some(pat)) => pat,
                        _ => pat,
                    };
                    if let PatKind::Range(Some(_), None, Spanned { .. }) = inner_pat.kind {
                        gate!(
                            self,
                            half_open_range_patterns_in_slices,
                            pat.span,
                            "`X..` patterns in slices are experimental"
                        );
                    }
                }
            }
            _ => {}
        }
        visit::walk_pat(self, pattern)
    }

    fn visit_poly_trait_ref(&mut self, t: &'a ast::PolyTraitRef) {
        self.check_late_bound_lifetime_defs(&t.bound_generic_params);
        visit::walk_poly_trait_ref(self, t);
    }

    fn visit_fn(&mut self, fn_kind: FnKind<'a>, _: &AttrVec, _: Span, _: NodeId) {
        if let Some(_header) = fn_kind.header() {
            // Stability of const fn methods are covered in `visit_assoc_item` below.
        }

        if let FnKind::Closure(ast::ClosureBinder::For { generic_params, .. }, ..) = fn_kind {
            self.check_late_bound_lifetime_defs(generic_params);
        }

        visit::walk_fn(self, fn_kind)
    }

    fn visit_assoc_item(&mut self, i: &'a ast::AssocItem, ctxt: AssocCtxt) {
        let is_fn = match &i.kind {
            ast::AssocItemKind::Fn(_) => true,
            ast::AssocItemKind::Type(ast::TyAlias { ty, .. }) => {
                if let (Some(_), AssocCtxt::Trait) = (ty, ctxt) {
                    gate!(
                        self,
                        associated_type_defaults,
                        i.span,
                        "associated type defaults are unstable"
                    );
                }
                if let Some(ty) = ty {
                    self.check_impl_trait(ty, true);
                }
                false
            }
            ast::AssocItemKind::Const(ast::ConstItem { body: Some(_), .. }) => {
                if ctxt == AssocCtxt::Trait && attr::contains_name(&i.attrs, sym::rustc_always_gca)
                {
                    gate!(
                        self,
                        associated_type_defaults,
                        i.span,
                        "associated type defaults are unstable"
                    );
                }
                false
            }
            _ => false,
        };
        if let ast::Defaultness::Default(_) = i.kind.defaultness() {
            // Limit `min_specialization` to only specializing functions.
            gate_alt!(
                &self,
                self.features.specialization() || (is_fn && self.features.min_specialization()),
                sym::specialization,
                i.span,
                "specialization is experimental"
            );
        }
        visit::walk_assoc_item(self, i, ctxt)
    }

    fn visit_test_binder_forall(&mut self, forall: &'a ast::TestBinderForall) {
        self.check_late_bound_lifetime_defs(&forall.generics.params);
        visit::walk_test_binder_forall(self, forall)
    }

    fn visit_test_binder_exists(&mut self, exists: &'a ast::TestBinderExists) {
        self.check_late_bound_lifetime_defs(&exists.params);
        visit::walk_test_binder_exists(self, exists)
    }

    fn visit_test_binder_bound_type_constraint(
        &mut self,
        bound_type: &'a ast::TestBinderBoundTypeConstraint,
    ) -> Self::Result {
        self.check_late_bound_lifetime_defs(&bound_type.params);
        visit::walk_test_binder_bound_type_constraint(self, bound_type)
    }
}

// -----------------------------------------------------------------------------

pub fn check_crate(krate: &ast::Crate, sess: &Session, features: &Features) {
    maybe_stage_features(sess, features, krate);
    check_incompatible_features(sess, features);
    check_dependent_features(sess, features);
    warn_next_solver_and_gce(sess, features);
    warn_next_solver_and_higher_ranked_assumptions(sess);
    check_features_requiring_new_solver(sess, features);

    let mut visitor = PostExpansionVisitor { sess, features };

    // -----------------------------------------------------------------------------
    // PRE-EXPANSION FEATURE GATES FOR UNSTABLE SYNTAX
    // -----------------------------------------------------------------------------

    let spans = sess.psess.gated_spans.spans.borrow();
    macro_rules! gate_all {
        ($feature:ident, $explain:literal $(, $help:literal)?) => {
            for &span in spans.get(&sym::$feature).into_flat_iter() {
                gate!(visitor, $feature, span, $explain $(, $help)?);
            }
        };
    }

    // tidy-alphabetical-start
    gate_all!(async_for_loop, "`for await` loops are experimental");
    gate_all!(builtin_syntax, "`builtin #` syntax is unstable");
    gate_all!(const_block_items, "const block items are experimental");
    gate_all!(const_closures, "const closures are experimental");
    gate_all!(const_trait_impl, "const trait impls are experimental");
    gate_all!(contracts, "contracts are incomplete");
    gate_all!(contracts_internals, "contract internal machinery is for internal use only");
    gate_all!(coroutines, "coroutine syntax is experimental");
    gate_all!(default_field_values, "default values on fields are experimental");
    gate_all!(ergonomic_clones, "ergonomic clones are experimental");
    gate_all!(explicit_tail_calls, "`become` expression is experimental");
    gate_all!(final_associated_functions, "`final` on trait functions is experimental");
    gate_all!(fn_delegation, "functions delegation is not yet fully implemented");
    gate_all!(forced_keywords, "forced keywords are experimental");
    gate_all!(frontmatter, "frontmatters are experimental");
    gate_all!(function_arg_const_generics, "function arg const generics are experimental");
    gate_all!(gca_min_const_items, "unbraced const blocks as const args are experimental");
    gate_all!(gen_blocks, "gen blocks are experimental");
    gate_all!(generic_const_items, "generic const items are experimental");
    gate_all!(global_registration, "global registration is experimental");
    gate_all!(guard_patterns, "guard patterns are experimental", "consider using match arm guards");
    gate_all!(impl_restriction, "`impl` restrictions are experimental");
    gate_all!(more_qualified_paths, "usage of qualified paths in this context is experimental");
    gate_all!(move_expr, "`move(expr)` syntax is experimental");
    gate_all!(mut_ref, "mutable by-reference bindings are experimental");
    gate_all!(mut_restriction, "`mut` restrictions are experimental");
    gate_all!(pin_ergonomics, "pinned reference syntax is experimental");
    gate_all!(postfix_match, "postfix match is experimental");
    gate_all!(return_type_notation, "return type notation is experimental");
    gate_all!(
        splat,
        "`fn(#[rustc_splat] (a, ...))` is incomplete",
        "call as func((a, ...)) instead"
    );
    gate_all!(super_let, "`super let` is experimental");
    gate_all!(try_blocks_heterogeneous, "`try bikeshed` expression is experimental");
    gate_all!(unnamed_enum_variants, "unnamed enum variants are experimental");
    gate_all!(unsafe_binders, "unsafe binder types are experimental");
    gate_all!(unsafe_fields, "`unsafe` fields are experimental");
    gate_all!(view_types, "view types are experimental");
    gate_all!(where_clause_attrs, "attributes in `where` clause are unstable");
    gate_all!(yeet_expr, "`do yeet` expression is experimental");
    // tidy-alphabetical-end

    gate_all!(
        async_trait_bounds,
        "`async` trait bounds are unstable",
        "use the desugared name of the async trait, such as `AsyncFn`"
    );
    gate_all!(
        closure_lifetime_binder,
        "`for<...>` binders for closures are experimental",
        "consider using a type annotation instead: \
         `let closure: for<...> fn(...) -> ... = /* closure */;`"
    );
    gate_all!(
        half_open_range_patterns_in_slices,
        "half-open range patterns in slices are unstable"
    );
    gate_all!(
        named_fn_trait_parameters,
        "named parameters in parenthesized generic argument lists are experimental"
    );

    // `associated_const_equality` will be stabilized as part of `gca_min_const_items`.
    for &span in spans.get(&sym::associated_const_equality).into_flat_iter() {
        gate!(visitor, gca_min_const_items, span, "associated const equality is incomplete");
    }

    // Negative bounds are *super* internal. We require `-Zinternal-testing-features` *and*
    // `#![feature(negative_bounds)]` to prevent proliferation. Under no circumstances do we
    // want to advertise the flag and the feature name to users!
    //
    // IMPORTANT: If you intend on turning negative bounds into a public-facing feature, please
    //            consult T-types and T-lang first! Do **not** just remove the `-Z` check!
    //
    // NOTE: `T: !Bound` means "`T` implements `Bound` negatively",
    //       it does **not** mean "`T` doesn't implement `Bound` (positively or negatively)"!
    //       The latter would be a SemVer hazard!
    if !sess.opts.unstable_opts.internal_testing_features || !visitor.features.negative_bounds() {
        for &span in spans.get(&sym::negative_bounds).into_flat_iter() {
            sess.dcx().emit_err(diagnostics::NegativeBoundUnsupported { span });
        }
    }

    if !visitor.features.never_patterns() {
        for &span in spans.get(&sym::never_patterns).into_flat_iter() {
            if span.allows_unstable(sym::never_patterns) {
                continue;
            }
            // We gate two types of spans: the span of a `!` pattern, and the span of a
            // match arm without a body. For the latter we want to give the user a normal
            // error.
            if let Ok("!") = sess.source_map().span_to_snippet(span).as_deref() {
                feature_err(sess, sym::never_patterns, span, "`!` patterns are experimental")
                    .emit();
            } else {
                let suggestion = span.shrink_to_hi();
                sess.dcx().emit_err(diagnostics::MatchArmWithNoBody { span, suggestion });
            }
        }
    }

    // Yield exprs can be enabled either by `yield_expr`, by `coroutines` or by `gen_blocks`.
    for &span in spans.get(&sym::yield_expr).into_flat_iter() {
        if (!visitor.features.coroutines() && !span.allows_unstable(sym::coroutines))
            && (!visitor.features.gen_blocks() && !span.allows_unstable(sym::gen_blocks))
            && (!visitor.features.yield_expr() && !span.allows_unstable(sym::yield_expr))
        {
            // Only mentioned `yield_expr` in the diagnostic since that'll be sufficient.
            // You can think of it as `coroutines` and `gen_blocks` implying `yield_expr`.
            feature_err(visitor.sess, sym::yield_expr, span, "yield syntax is experimental").emit();
        }
    }

    // -----------------------------------------------------------------------------
    // **LEGACY**  SOFT PRE-EXPANSION FEATURE GATES FOR UNSTABLE SYNTAX  **LEGACY**
    // -----------------------------------------------------------------------------

    // IMPORTANT: Do not extend the list below! New syntax should go above and use `gate_all`.

    // FIXME(#154045): Migrate all of these to erroring feature gates and
    //                 remove the corresponding post-expansion feature gates.

    macro_rules! soft_gate_all_legacy_dont_use {
        ($feature:ident, $explain:literal) => {
            for &span in spans.get(&sym::$feature).into_flat_iter() {
                if !visitor.features.$feature() && !span.allows_unstable(sym::$feature) {
                    feature_warn(&visitor.sess, sym::$feature, span, $explain);
                }
            }
        };
    }

    // tidy-alphabetical-start
    soft_gate_all_legacy_dont_use!(auto_traits, "`auto` traits are unstable");
    soft_gate_all_legacy_dont_use!(decl_macro, "`macro` is experimental");
    soft_gate_all_legacy_dont_use!(negative_impls, "negative impls are experimental");
    soft_gate_all_legacy_dont_use!(specialization, "specialization is experimental");
    soft_gate_all_legacy_dont_use!(trait_alias, "trait aliases are experimental");
    soft_gate_all_legacy_dont_use!(try_blocks, "`try` blocks are unstable");
    // tidy-alphabetical-end

    for &span in spans.get(&sym::min_specialization).into_flat_iter() {
        if !visitor.features.specialization()
            && !visitor.features.min_specialization()
            && !span.allows_unstable(sym::specialization)
            && !span.allows_unstable(sym::min_specialization)
        {
            feature_warn(visitor.sess, sym::specialization, span, "specialization is experimental");
        }
    }

    // -----------------------------------------------------------------------------

    visit::walk_crate(&mut visitor, krate);
}

fn maybe_stage_features(sess: &Session, features: &Features, krate: &ast::Crate) {
    // checks if `#![feature]` has been used to enable any feature.
    if sess.opts.unstable_features.is_nightly_build() {
        return;
    }
    if features.enabled_features().is_empty() {
        return;
    }
    let mut errored = false;

    if let Some(Attribute::Parsed(AttributeKind::Feature(feature_idents, first_span))) =
        AttributeParser::parse_limited_sym(sess, &krate.attrs, &[sym::feature])
    {
        // `feature(...)` used on non-nightly. This is definitely an error.
        let mut err = diagnostics::FeatureOnNonNightly {
            span: first_span,
            channel: option_env!("CFG_RELEASE_CHANNEL").unwrap_or("(unknown)"),
            stable_features: vec![],
            sugg: None,
        };

        let mut all_stable = true;
        for ident in feature_idents {
            let name = ident.name;
            let stable_since = features
                .enabled_lang_features()
                .iter()
                .find(|feat| feat.gate_name == name)
                .map(|feat| feat.stable_since)
                .flatten();
            if let Some(since) = stable_since {
                err.stable_features.push(diagnostics::StableFeature { name, since });
            } else {
                all_stable = false;
            }
        }
        if all_stable {
            err.sugg = Some(first_span);
        }
        sess.dcx().emit_err(err);
        errored = true;
    }
    // Just make sure we actually error if anything is listed in `enabled_features`.
    assert!(errored);
}

fn check_incompatible_features(sess: &Session, features: &Features) {
    let enabled_features = features.enabled_features_iter_stable_order();

    for (f1, f2) in rustc_feature::INCOMPATIBLE_FEATURES
        .iter()
        .filter(|(f1, f2)| features.enabled(*f1) && features.enabled(*f2))
    {
        if let Some((f1_name, f1_span)) = enabled_features.clone().find(|(name, _)| name == f1)
            && let Some((f2_name, f2_span)) = enabled_features.clone().find(|(name, _)| name == f2)
        {
            let spans = vec![f1_span, f2_span];
            sess.dcx().emit_err(diagnostics::IncompatibleFeatures {
                spans,
                f1: f1_name,
                f2: f2_name,
            });
        }
    }
}

fn check_dependent_features(sess: &Session, features: &Features) {
    for &(parent, ref children) in
        rustc_feature::DEPENDENT_FEATURES.iter().filter(|(parent, children)| {
            features.enabled(*parent) && !check_enabled(features, children)
        })
    {
        let parent_span = features
            .enabled_features_iter_stable_order()
            .find_map(|(name, span)| (name == parent).then_some(span))
            .unwrap();
        // FIXME: should probably format this in fluent instead of here
        let missing = format(features, &children);
        sess.dcx().emit_err(diagnostics::MissingDependentFeatures { parent_span, parent, missing });
    }

    fn check_enabled(features: &Features, feature: &DependentFeature) -> bool {
        match feature {
            DependentFeature::And(children) => {
                children.iter().all(|child| check_enabled(features, child))
            }
            DependentFeature::Or(children) => {
                children.iter().any(|child| check_enabled(features, child))
            }
            DependentFeature::Leaf(symbol) => features.enabled(*symbol),
        }
    }

    fn format(features: &Features, feature: &DependentFeature) -> String {
        // FIXME: parentheses/precedence
        match feature {
            DependentFeature::And(children) => children
                .iter()
                .filter(|child| !check_enabled(features, child))
                .map(|child| format(features, child))
                .intersperse(String::from(" and "))
                .collect(),
            DependentFeature::Or(children) => children
                .iter()
                .map(|child| format(features, child))
                .intersperse(String::from(" or "))
                .collect(),
            DependentFeature::Leaf(symbol) => format!("`{}`", symbol.as_str()),
        }
    }
}

fn warn_next_solver_and_gce(sess: &Session, features: &Features) {
    if sess.opts.unstable_opts.next_solver != NextSolverConfig::Globally {
        return;
    }

    // Warn people who use GCE and -Znext-solver=globally
    // that their trait solver was downgraded to -Znext-solver=coherence
    if let Some(gce_span) = features
        .enabled_lang_features()
        .iter()
        .find(|feat| feat.gate_name == sym::generic_const_exprs)
        .map(|feat| feat.attr_sp)
    {
        sess.dcx()
            .emit_warn(diagnostics::NextSolverDisabledForGenericConstExprs { span: gce_span });
    }
}

fn warn_next_solver_and_higher_ranked_assumptions(sess: &Session) {
    // Warn people who use -Zhigher-ranked-assumptions and -Znext-solver=globally
    // that their trait solver was downgraded to -Znext-solver=coherence
    if sess.opts.unstable_opts.next_solver == NextSolverConfig::Globally
        && sess.opts.unstable_opts.higher_ranked_assumptions
    {
        sess.dcx().emit_warn(diagnostics::NextSolverDisabledForHigherRankedAssumptions);
    }
}

fn check_features_requiring_new_solver(sess: &Session, features: &Features) {
    if sess.opts.unstable_opts.next_solver == NextSolverConfig::Globally {
        return;
    }

    // Require the new solver with GCA, because the old solver can't implement GCA correctly as it
    // does not support normalization obligations for free and inherent consts.
    if let Some(gca_span) = features
        .enabled_lang_features()
        .iter()
        .find(|feat| feat.gate_name == sym::gca_const_items)
        .map(|feat| feat.attr_sp)
    {
        #[allow(rustc::symbol_intern_string_literal)]
        sess.dcx().emit_err(diagnostics::MissingDependentFeatures {
            parent_span: gca_span,
            parent: sym::gca_const_items,
            missing: String::from("-Znext-solver=globally"),
        });
    }
}