-// Copyright 2012-2014 The Rust Project Developers. See the COPYRIGHT
-// file at the top-level directory of this distribution and at
-// http://rust-lang.org/COPYRIGHT.
-//
-// Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
-// http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
-// <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
-// option. This file may not be copied, modified, or distributed
-// except according to those terms.
-pub use self::MaybeTyped::*;
-
-use rustc_driver::driver;
-use rustc::session::{self, config};
-use rustc::session::config::UnstableFeatures;
-use rustc::middle::{privacy, ty};
-use rustc::lint;
-use rustc_trans::back::link;
+use rustc_data_structures::fx::{FxHashMap, FxHashSet};
+use rustc_data_structures::sync::{self, Lrc};
+use rustc_driver::abort_on_err;
+use rustc_errors::emitter::{Emitter, EmitterWriter};
+use rustc_errors::json::JsonEmitter;
+use rustc_feature::UnstableFeatures;
+use rustc_hir::def::Namespace::TypeNS;
+use rustc_hir::def::Res;
+use rustc_hir::def_id::{DefId, LocalDefId, CRATE_DEF_INDEX};
+use rustc_hir::HirId;
+use rustc_hir::{
+ intravisit::{self, NestedVisitorMap, Visitor},
+ Path,
+};
+use rustc_interface::{interface, Queries};
+use rustc_middle::hir::map::Map;
+use rustc_middle::middle::privacy::AccessLevels;
+use rustc_middle::ty::{ParamEnv, Ty, TyCtxt};
use rustc_resolve as resolve;
-
-use syntax::{ast, ast_map, codemap, diagnostic};
+use rustc_session::config::{self, CrateType, ErrorOutputType};
+use rustc_session::lint;
+use rustc_session::DiagnosticOutput;
+use rustc_session::Session;
+use rustc_span::source_map;
+use rustc_span::symbol::sym;
+use rustc_span::{Span, DUMMY_SP};
use std::cell::RefCell;
-use std::collections::{HashMap, HashSet};
-
-use visit_ast::RustdocVisitor;
-use clean;
-use clean::Clean;
+use std::mem;
+use std::rc::Rc;
-pub use rustc::session::config::Input;
-pub use rustc::session::search_paths::SearchPaths;
+use crate::clean::inline::build_external_trait;
+use crate::clean::{self, ItemId, TraitWithExtraInfo};
+use crate::config::{Options as RustdocOptions, OutputFormat, RenderOptions};
+use crate::formats::cache::Cache;
+use crate::passes::{self, Condition::*, ConditionalPass};
-/// Are we generating documentation (`Typed`) or tests (`NotTyped`)?
-pub enum MaybeTyped<'tcx> {
- Typed(ty::ctxt<'tcx>),
- NotTyped(session::Session)
-}
+crate use rustc_session::config::{DebuggingOptions, Input, Options};
-pub type ExternalPaths = RefCell<Option<HashMap<ast::DefId,
- (Vec<String>, clean::TypeKind)>>>;
-
-pub struct DocContext<'tcx> {
- pub krate: &'tcx ast::Crate,
- pub maybe_typed: MaybeTyped<'tcx>,
- pub input: Input,
- pub external_paths: ExternalPaths,
- pub external_traits: RefCell<Option<HashMap<ast::DefId, clean::Trait>>>,
- pub external_typarams: RefCell<Option<HashMap<ast::DefId, String>>>,
- pub inlined: RefCell<Option<HashSet<ast::DefId>>>,
- pub populated_crate_impls: RefCell<HashSet<ast::CrateNum>>,
+crate struct DocContext<'tcx> {
+ crate tcx: TyCtxt<'tcx>,
+ /// Name resolver. Used for intra-doc links.
+ ///
+ /// The `Rc<RefCell<...>>` wrapping is needed because that is what's returned by
+ /// [`Queries::expansion()`].
+ // FIXME: see if we can get rid of this RefCell somehow
+ crate resolver: Rc<RefCell<interface::BoxedResolver>>,
+ /// Used for normalization.
+ ///
+ /// Most of this logic is copied from rustc_lint::late.
+ crate param_env: ParamEnv<'tcx>,
+ /// Later on moved through `clean::Crate` into `cache`
+ crate external_traits: Rc<RefCell<FxHashMap<DefId, clean::TraitWithExtraInfo>>>,
+ /// Used while populating `external_traits` to ensure we don't process the same trait twice at
+ /// the same time.
+ crate active_extern_traits: FxHashSet<DefId>,
+ // The current set of type and lifetime substitutions,
+ // for expanding type aliases at the HIR level:
+ /// Table `DefId` of type parameter -> substituted type
+ crate ty_substs: FxHashMap<DefId, clean::Type>,
+ /// Table `DefId` of lifetime parameter -> substituted lifetime
+ crate lt_substs: FxHashMap<DefId, clean::Lifetime>,
+ /// Table `DefId` of const parameter -> substituted const
+ crate ct_substs: FxHashMap<DefId, clean::Constant>,
+ /// Table synthetic type parameter for `impl Trait` in argument position -> bounds
+ crate impl_trait_bounds: FxHashMap<ImplTraitParam, Vec<clean::GenericBound>>,
+ /// Auto-trait or blanket impls processed so far, as `(self_ty, trait_def_id)`.
+ // FIXME(eddyb) make this a `ty::TraitRef<'tcx>` set.
+ crate generated_synthetics: FxHashSet<(Ty<'tcx>, DefId)>,
+ crate auto_traits: Vec<DefId>,
+ /// The options given to rustdoc that could be relevant to a pass.
+ crate render_options: RenderOptions,
+ /// The traits in scope for a given module.
+ ///
+ /// See `collect_intra_doc_links::traits_implemented_by` for more details.
+ /// `map<module, set<trait>>`
+ crate module_trait_cache: FxHashMap<DefId, FxHashSet<DefId>>,
+ /// This same cache is used throughout rustdoc, including in [`crate::html::render`].
+ crate cache: Cache,
+ /// Used by [`clean::inline`] to tell if an item has already been inlined.
+ crate inlined: FxHashSet<ItemId>,
+ /// Used by `calculate_doc_coverage`.
+ crate output_format: OutputFormat,
}
impl<'tcx> DocContext<'tcx> {
- pub fn sess<'a>(&'a self) -> &'a session::Session {
- match self.maybe_typed {
- Typed(ref tcx) => &tcx.sess,
- NotTyped(ref sess) => sess
- }
+ crate fn sess(&self) -> &'tcx Session {
+ &self.tcx.sess
}
- pub fn tcx_opt<'a>(&'a self) -> Option<&'a ty::ctxt<'tcx>> {
- match self.maybe_typed {
- Typed(ref tcx) => Some(tcx),
- NotTyped(_) => None
- }
+ crate fn with_param_env<T, F: FnOnce(&mut Self) -> T>(&mut self, def_id: DefId, f: F) -> T {
+ let old_param_env = mem::replace(&mut self.param_env, self.tcx.param_env(def_id));
+ let ret = f(self);
+ self.param_env = old_param_env;
+ ret
}
- pub fn tcx<'a>(&'a self) -> &'a ty::ctxt<'tcx> {
- let tcx_opt = self.tcx_opt();
- tcx_opt.expect("tcx not present")
+ crate fn enter_resolver<F, R>(&self, f: F) -> R
+ where
+ F: FnOnce(&mut resolve::Resolver<'_>) -> R,
+ {
+ self.resolver.borrow_mut().access(f)
+ }
+
+ /// Call the closure with the given parameters set as
+ /// the substitutions for a type alias' RHS.
+ crate fn enter_alias<F, R>(
+ &mut self,
+ ty_substs: FxHashMap<DefId, clean::Type>,
+ lt_substs: FxHashMap<DefId, clean::Lifetime>,
+ ct_substs: FxHashMap<DefId, clean::Constant>,
+ f: F,
+ ) -> R
+ where
+ F: FnOnce(&mut Self) -> R,
+ {
+ let (old_tys, old_lts, old_cts) = (
+ mem::replace(&mut self.ty_substs, ty_substs),
+ mem::replace(&mut self.lt_substs, lt_substs),
+ mem::replace(&mut self.ct_substs, ct_substs),
+ );
+ let r = f(self);
+ self.ty_substs = old_tys;
+ self.lt_substs = old_lts;
+ self.ct_substs = old_cts;
+ r
}
-}
-pub struct CrateAnalysis {
- pub exported_items: privacy::ExportedItems,
- pub public_items: privacy::PublicItems,
- pub external_paths: ExternalPaths,
- pub external_traits: RefCell<Option<HashMap<ast::DefId, clean::Trait>>>,
- pub external_typarams: RefCell<Option<HashMap<ast::DefId, String>>>,
- pub inlined: RefCell<Option<HashSet<ast::DefId>>>,
+ /// Like `hir().local_def_id_to_hir_id()`, but skips calling it on fake DefIds.
+ /// (This avoids a slice-index-out-of-bounds panic.)
+ crate fn as_local_hir_id(tcx: TyCtxt<'_>, def_id: ItemId) -> Option<HirId> {
+ match def_id {
+ ItemId::DefId(real_id) => {
+ real_id.as_local().map(|def_id| tcx.hir().local_def_id_to_hir_id(def_id))
+ }
+ // FIXME: Can this be `Some` for `Auto` or `Blanket`?
+ _ => None,
+ }
+ }
}
-pub type Externs = HashMap<String, Vec<String>>;
+/// Creates a new diagnostic `Handler` that can be used to emit warnings and errors.
+///
+/// If the given `error_format` is `ErrorOutputType::Json` and no `SourceMap` is given, a new one
+/// will be created for the handler.
+crate fn new_handler(
+ error_format: ErrorOutputType,
+ source_map: Option<Lrc<source_map::SourceMap>>,
+ debugging_opts: &DebuggingOptions,
+) -> rustc_errors::Handler {
+ let emitter: Box<dyn Emitter + sync::Send> = match error_format {
+ ErrorOutputType::HumanReadable(kind) => {
+ let (short, color_config) = kind.unzip();
+ Box::new(
+ EmitterWriter::stderr(
+ color_config,
+ source_map.map(|sm| sm as _),
+ short,
+ debugging_opts.teach,
+ debugging_opts.terminal_width,
+ false,
+ )
+ .ui_testing(debugging_opts.ui_testing),
+ )
+ }
+ ErrorOutputType::Json { pretty, json_rendered } => {
+ let source_map = source_map.unwrap_or_else(|| {
+ Lrc::new(source_map::SourceMap::new(source_map::FilePathMapping::empty()))
+ });
+ Box::new(
+ JsonEmitter::stderr(
+ None,
+ source_map,
+ pretty,
+ json_rendered,
+ debugging_opts.terminal_width,
+ false,
+ )
+ .ui_testing(debugging_opts.ui_testing),
+ )
+ }
+ };
-pub fn run_core(search_paths: SearchPaths, cfgs: Vec<String>, externs: Externs,
- input: Input, triple: Option<String>)
- -> (clean::Crate, CrateAnalysis) {
+ rustc_errors::Handler::with_emitter_and_flags(
+ emitter,
+ debugging_opts.diagnostic_handler_flags(true),
+ )
+}
- // Parse, resolve, and typecheck the given crate.
+/// Parse, resolve, and typecheck the given crate.
+crate fn create_config(
+ RustdocOptions {
+ input,
+ crate_name,
+ proc_macro_crate,
+ error_format,
+ libs,
+ externs,
+ mut cfgs,
+ codegen_options,
+ debugging_opts,
+ target,
+ edition,
+ maybe_sysroot,
+ lint_opts,
+ describe_lints,
+ lint_cap,
+ display_warnings,
+ ..
+ }: RustdocOptions,
+) -> rustc_interface::Config {
+ // Add the doc cfg into the doc build.
+ cfgs.push("doc".to_string());
- let cpath = match input {
- Input::File(ref p) => Some(p.clone()),
- _ => None
- };
+ let cpath = Some(input.clone());
+ let input = Input::File(input);
- let warning_lint = lint::builtin::WARNINGS.name_lower();
+ // By default, rustdoc ignores all lints.
+ // Specifically unblock lints relevant to documentation or the lint machinery itself.
+ let mut lints_to_show = vec![
+ // it's unclear whether these should be part of rustdoc directly (#77364)
+ rustc_lint::builtin::MISSING_DOCS.name.to_string(),
+ rustc_lint::builtin::INVALID_DOC_ATTRIBUTES.name.to_string(),
+ // these are definitely not part of rustdoc, but we want to warn on them anyway.
+ rustc_lint::builtin::RENAMED_AND_REMOVED_LINTS.name.to_string(),
+ rustc_lint::builtin::UNKNOWN_LINTS.name.to_string(),
+ ];
+ lints_to_show.extend(crate::lint::RUSTDOC_LINTS.iter().map(|lint| lint.name.to_string()));
+ let (lint_opts, lint_caps) = crate::lint::init_lints(lints_to_show, lint_opts, |lint| {
+ Some((lint.name_lower(), lint::Allow))
+ });
+
+ let crate_types =
+ if proc_macro_crate { vec![CrateType::ProcMacro] } else { vec![CrateType::Rlib] };
+ // plays with error output here!
let sessopts = config::Options {
- maybe_sysroot: None,
- search_paths: search_paths,
- crate_types: vec!(config::CrateTypeRlib),
- lint_opts: vec!((warning_lint, lint::Allow)),
- externs: externs,
- target_triple: triple.unwrap_or(config::host_triple().to_string()),
- cfg: config::parse_cfgspecs(cfgs),
- // Ensure that rustdoc works even if rustc is feature-staged
- unstable_features: UnstableFeatures::Default,
- ..config::basic_options().clone()
+ maybe_sysroot,
+ search_paths: libs,
+ crate_types,
+ lint_opts: if !display_warnings { lint_opts } else { vec![] },
+ lint_cap,
+ cg: codegen_options,
+ externs,
+ target_triple: target,
+ unstable_features: UnstableFeatures::from_environment(crate_name.as_deref()),
+ actually_rustdoc: true,
+ debugging_opts,
+ error_format,
+ edition,
+ describe_lints,
+ crate_name,
+ ..Options::default()
};
- let codemap = codemap::CodeMap::new();
- let diagnostic_handler = diagnostic::default_handler(diagnostic::Auto, None, true);
- let span_diagnostic_handler =
- diagnostic::mk_span_handler(diagnostic_handler, codemap);
-
- let sess = session::build_session_(sessopts, cpath,
- span_diagnostic_handler);
-
- let cfg = config::build_configuration(&sess);
-
- let krate = driver::phase_1_parse_input(&sess, cfg, &input);
-
- let name = link::find_crate_name(Some(&sess), &krate.attrs,
- &input);
-
- let krate = driver::phase_2_configure_and_expand(&sess, krate, &name, None)
- .expect("phase_2_configure_and_expand aborted in rustdoc!");
-
- let mut forest = ast_map::Forest::new(krate);
- let arenas = ty::CtxtArenas::new();
- let ast_map = driver::assign_node_ids_and_map(&sess, &mut forest);
-
- let ty::CrateAnalysis {
- exported_items, public_items, ty_cx, ..
- } = driver::phase_3_run_analysis_passes(sess,
- ast_map,
- &arenas,
- name,
- resolve::MakeGlobMap::No);
-
- let ctxt = DocContext {
- krate: ty_cx.map.krate(),
- maybe_typed: Typed(ty_cx),
- input: input,
- external_traits: RefCell::new(Some(HashMap::new())),
- external_typarams: RefCell::new(Some(HashMap::new())),
- external_paths: RefCell::new(Some(HashMap::new())),
- inlined: RefCell::new(Some(HashSet::new())),
- populated_crate_impls: RefCell::new(HashSet::new()),
+ interface::Config {
+ opts: sessopts,
+ crate_cfg: interface::parse_cfgspecs(cfgs),
+ input,
+ input_path: cpath,
+ output_file: None,
+ output_dir: None,
+ file_loader: None,
+ diagnostic_output: DiagnosticOutput::Default,
+ stderr: None,
+ lint_caps,
+ parse_sess_created: None,
+ register_lints: Some(box crate::lint::register_lints),
+ override_queries: Some(|_sess, providers, _external_providers| {
+ // Most lints will require typechecking, so just don't run them.
+ providers.lint_mod = |_, _| {};
+ // Prevent `rustc_typeck::check_crate` from calling `typeck` on all bodies.
+ providers.typeck_item_bodies = |_, _| {};
+ // hack so that `used_trait_imports` won't try to call typeck
+ providers.used_trait_imports = |_, _| {
+ lazy_static! {
+ static ref EMPTY_SET: FxHashSet<LocalDefId> = FxHashSet::default();
+ }
+ &EMPTY_SET
+ };
+ // In case typeck does end up being called, don't ICE in case there were name resolution errors
+ providers.typeck = move |tcx, def_id| {
+ // Closures' tables come from their outermost function,
+ // as they are part of the same "inference environment".
+ // This avoids emitting errors for the parent twice (see similar code in `typeck_with_fallback`)
+ let outer_def_id = tcx.closure_base_def_id(def_id.to_def_id()).expect_local();
+ if outer_def_id != def_id {
+ return tcx.typeck(outer_def_id);
+ }
+
+ let hir = tcx.hir();
+ let body = hir.body(hir.body_owned_by(hir.local_def_id_to_hir_id(def_id)));
+ debug!("visiting body for {:?}", def_id);
+ EmitIgnoredResolutionErrors::new(tcx).visit_body(body);
+ (rustc_interface::DEFAULT_QUERY_PROVIDERS.typeck)(tcx, def_id)
+ };
+ }),
+ make_codegen_backend: None,
+ registry: rustc_driver::diagnostics_registry(),
+ }
+}
+
+crate fn create_resolver<'a>(
+ externs: config::Externs,
+ queries: &Queries<'a>,
+ sess: &Session,
+) -> Rc<RefCell<interface::BoxedResolver>> {
+ let extern_names: Vec<String> = externs
+ .iter()
+ .filter(|(_, entry)| entry.add_prelude)
+ .map(|(name, _)| name)
+ .cloned()
+ .collect();
+
+ let (_, resolver, _) = &*abort_on_err(queries.expansion(), sess).peek();
+
+ // Before we actually clone it, let's force all the extern'd crates to
+ // actually be loaded, just in case they're only referred to inside
+ // intra-doc links
+ resolver.borrow_mut().access(|resolver| {
+ sess.time("load_extern_crates", || {
+ for extern_name in &extern_names {
+ debug!("loading extern crate {}", extern_name);
+ if let Err(()) = resolver
+ .resolve_str_path_error(
+ DUMMY_SP,
+ extern_name,
+ TypeNS,
+ LocalDefId { local_def_index: CRATE_DEF_INDEX }.to_def_id(),
+ ) {
+ warn!("unable to resolve external crate {} (do you have an unused `--extern` crate?)", extern_name)
+ }
+ }
+ });
+ });
+
+ // Now we're good to clone the resolver because everything should be loaded
+ resolver.clone()
+}
+
+crate fn run_global_ctxt(
+ tcx: TyCtxt<'_>,
+ resolver: Rc<RefCell<interface::BoxedResolver>>,
+ mut default_passes: passes::DefaultPassOption,
+ manual_passes: Vec<String>,
+ render_options: RenderOptions,
+ output_format: OutputFormat,
+) -> (clean::Crate, RenderOptions, Cache) {
+ // Certain queries assume that some checks were run elsewhere
+ // (see https://github.com/rust-lang/rust/pull/73566#issuecomment-656954425),
+ // so type-check everything other than function bodies in this crate before running lints.
+
+ // NOTE: this does not call `tcx.analysis()` so that we won't
+ // typeck function bodies or run the default rustc lints.
+ // (see `override_queries` in the `config`)
+
+ // HACK(jynelson) this calls an _extremely_ limited subset of `typeck`
+ // and might break if queries change their assumptions in the future.
+
+ // NOTE: This is copy/pasted from typeck/lib.rs and should be kept in sync with those changes.
+ tcx.sess.time("item_types_checking", || {
+ for &module in tcx.hir().krate().modules.keys() {
+ tcx.ensure().check_mod_item_types(module);
+ }
+ });
+ tcx.sess.abort_if_errors();
+ tcx.sess.time("missing_docs", || {
+ rustc_lint::check_crate(tcx, rustc_lint::builtin::MissingDoc::new);
+ });
+ tcx.sess.time("check_mod_attrs", || {
+ for &module in tcx.hir().krate().modules.keys() {
+ tcx.ensure().check_mod_attrs(module);
+ }
+ });
+ rustc_passes::stability::check_unused_or_stable_features(tcx);
+
+ let access_levels = tcx.privacy_access_levels(());
+ // Convert from a HirId set to a DefId set since we don't always have easy access
+ // to the map from defid -> hirid
+ let access_levels = AccessLevels {
+ map: access_levels
+ .map
+ .iter()
+ .map(|(&k, &v)| (tcx.hir().local_def_id(k).to_def_id(), v))
+ .collect(),
};
- debug!("crate: {:?}", ctxt.krate);
-
- let analysis = CrateAnalysis {
- exported_items: exported_items,
- public_items: public_items,
- external_paths: RefCell::new(None),
- external_traits: RefCell::new(None),
- external_typarams: RefCell::new(None),
- inlined: RefCell::new(None),
+
+ let mut ctxt = DocContext {
+ tcx,
+ resolver,
+ param_env: ParamEnv::empty(),
+ external_traits: Default::default(),
+ active_extern_traits: Default::default(),
+ ty_substs: Default::default(),
+ lt_substs: Default::default(),
+ ct_substs: Default::default(),
+ impl_trait_bounds: Default::default(),
+ generated_synthetics: Default::default(),
+ auto_traits: tcx
+ .all_traits(())
+ .iter()
+ .cloned()
+ .filter(|trait_def_id| tcx.trait_is_auto(*trait_def_id))
+ .collect(),
+ module_trait_cache: FxHashMap::default(),
+ cache: Cache::new(access_levels, render_options.document_private),
+ inlined: FxHashSet::default(),
+ output_format,
+ render_options,
};
- let krate = {
- let mut v = RustdocVisitor::new(&ctxt, Some(&analysis));
- v.visit(ctxt.krate);
- v.clean(&ctxt)
+ // Small hack to force the Sized trait to be present.
+ //
+ // Note that in case of `#![no_core]`, the trait is not available.
+ if let Some(sized_trait_did) = ctxt.tcx.lang_items().sized_trait() {
+ let mut sized_trait = build_external_trait(&mut ctxt, sized_trait_did);
+ sized_trait.is_auto = true;
+ ctxt.external_traits
+ .borrow_mut()
+ .insert(sized_trait_did, TraitWithExtraInfo { trait_: sized_trait, is_notable: false });
+ }
+
+ debug!("crate: {:?}", tcx.hir().krate());
+
+ let mut krate = tcx.sess.time("clean_crate", || clean::krate(&mut ctxt));
+
+ if krate.module.doc_value().map(|d| d.is_empty()).unwrap_or(true) {
+ let help = format!(
+ "The following guide may be of use:\n\
+ {}/rustdoc/how-to-write-documentation.html",
+ crate::DOC_RUST_LANG_ORG_CHANNEL
+ );
+ tcx.struct_lint_node(
+ crate::lint::MISSING_CRATE_LEVEL_DOCS,
+ DocContext::as_local_hir_id(tcx, krate.module.def_id).unwrap(),
+ |lint| {
+ let mut diag =
+ lint.build("no documentation found for this crate's top-level module");
+ diag.help(&help);
+ diag.emit();
+ },
+ );
+ }
+
+ fn report_deprecated_attr(name: &str, diag: &rustc_errors::Handler, sp: Span) {
+ let mut msg =
+ diag.struct_span_warn(sp, &format!("the `#![doc({})]` attribute is deprecated", name));
+ msg.note(
+ "see issue #44136 <https://github.com/rust-lang/rust/issues/44136> \
+ for more information",
+ );
+
+ if name == "no_default_passes" {
+ msg.help("you may want to use `#![doc(document_private_items)]`");
+ } else if name.starts_with("plugins") {
+ msg.warn("`#![doc(plugins = \"...\")]` no longer functions; see CVE-2018-1000622 <https://nvd.nist.gov/vuln/detail/CVE-2018-1000622>");
+ }
+
+ msg.emit();
+ }
+
+ let parse_pass = |name: &str, sp: Option<Span>| {
+ if let Some(pass) = passes::find_pass(name) {
+ Some(ConditionalPass::always(pass))
+ } else {
+ let msg = &format!("ignoring unknown pass `{}`", name);
+ let mut warning = if let Some(sp) = sp {
+ tcx.sess.struct_span_warn(sp, msg)
+ } else {
+ tcx.sess.struct_warn(msg)
+ };
+ if name == "collapse-docs" {
+ warning.note("the `collapse-docs` pass was removed in #80261 <https://github.com/rust-lang/rust/pull/80261>");
+ }
+ warning.emit();
+ None
+ }
};
- let external_paths = ctxt.external_paths.borrow_mut().take();
- *analysis.external_paths.borrow_mut() = external_paths;
- let map = ctxt.external_traits.borrow_mut().take();
- *analysis.external_traits.borrow_mut() = map;
- let map = ctxt.external_typarams.borrow_mut().take();
- *analysis.external_typarams.borrow_mut() = map;
- let map = ctxt.inlined.borrow_mut().take();
- *analysis.inlined.borrow_mut() = map;
- (krate, analysis)
+ let mut manual_passes: Vec<_> =
+ manual_passes.into_iter().flat_map(|name| parse_pass(&name, None)).collect();
+
+ // Process all of the crate attributes, extracting plugin metadata along
+ // with the passes which we are supposed to run.
+ for attr in krate.module.attrs.lists(sym::doc) {
+ let diag = ctxt.sess().diagnostic();
+
+ let name = attr.name_or_empty();
+ if attr.is_word() {
+ if name == sym::no_default_passes {
+ report_deprecated_attr("no_default_passes", diag, attr.span());
+ if default_passes == passes::DefaultPassOption::Default {
+ default_passes = passes::DefaultPassOption::None;
+ }
+ }
+ } else if let Some(value) = attr.value_str() {
+ match name {
+ sym::passes => {
+ report_deprecated_attr("passes = \"...\"", diag, attr.span());
+ }
+ sym::plugins => {
+ report_deprecated_attr("plugins = \"...\"", diag, attr.span());
+ continue;
+ }
+ _ => continue,
+ };
+ for name in value.as_str().split_whitespace() {
+ let span = attr.name_value_literal_span().unwrap_or(attr.span());
+ manual_passes.extend(parse_pass(name, Some(span)));
+ }
+ }
+
+ if attr.is_word() && name == sym::document_private_items {
+ ctxt.render_options.document_private = true;
+ }
+ }
+
+ let passes = passes::defaults(default_passes).iter().copied().chain(manual_passes);
+ info!("Executing passes");
+
+ for p in passes {
+ let run = match p.condition {
+ Always => true,
+ WhenDocumentPrivate => ctxt.render_options.document_private,
+ WhenNotDocumentPrivate => !ctxt.render_options.document_private,
+ WhenNotDocumentHidden => !ctxt.render_options.document_hidden,
+ };
+ if run {
+ debug!("running pass {}", p.pass.name);
+ krate = ctxt.tcx.sess.time(p.pass.name, || (p.pass.run)(krate, &mut ctxt));
+ }
+ }
+
+ ctxt.sess().abort_if_errors();
+
+ let render_options = ctxt.render_options;
+ let mut cache = ctxt.cache;
+ krate = tcx.sess.time("create_format_cache", || {
+ cache.populate(krate, tcx, &render_options.extern_html_root_urls, &render_options.output)
+ });
+
+ // The main crate doc comments are always collapsed.
+ krate.collapsed = true;
+
+ (krate, render_options, cache)
+}
+
+/// Due to <https://github.com/rust-lang/rust/pull/73566>,
+/// the name resolution pass may find errors that are never emitted.
+/// If typeck is called after this happens, then we'll get an ICE:
+/// 'Res::Error found but not reported'. To avoid this, emit the errors now.
+struct EmitIgnoredResolutionErrors<'tcx> {
+ tcx: TyCtxt<'tcx>,
+}
+
+impl<'tcx> EmitIgnoredResolutionErrors<'tcx> {
+ fn new(tcx: TyCtxt<'tcx>) -> Self {
+ Self { tcx }
+ }
+}
+
+impl<'tcx> Visitor<'tcx> for EmitIgnoredResolutionErrors<'tcx> {
+ type Map = Map<'tcx>;
+
+ fn nested_visit_map(&mut self) -> NestedVisitorMap<Self::Map> {
+ // We need to recurse into nested closures,
+ // since those will fallback to the parent for type checking.
+ NestedVisitorMap::OnlyBodies(self.tcx.hir())
+ }
+
+ fn visit_path(&mut self, path: &'tcx Path<'_>, _id: HirId) {
+ debug!("visiting path {:?}", path);
+ if path.res == Res::Err {
+ // We have less context here than in rustc_resolve,
+ // so we can only emit the name and span.
+ // However we can give a hint that rustc_resolve will have more info.
+ let label = format!(
+ "could not resolve path `{}`",
+ path.segments
+ .iter()
+ .map(|segment| segment.ident.as_str().to_string())
+ .collect::<Vec<_>>()
+ .join("::")
+ );
+ let mut err = rustc_errors::struct_span_err!(
+ self.tcx.sess,
+ path.span,
+ E0433,
+ "failed to resolve: {}",
+ label
+ );
+ err.span_label(path.span, label);
+ err.note("this error was originally ignored because you are running `rustdoc`");
+ err.note("try running again with `rustc` or `cargo check` and you may get a more detailed error");
+ err.emit();
+ }
+ // We could have an outer resolution that succeeded,
+ // but with generic parameters that failed.
+ // Recurse into the segments so we catch those too.
+ intravisit::walk_path(self, path);
+ }
+}
+
+/// `DefId` or parameter index (`ty::ParamTy.index`) of a synthetic type parameter
+/// for `impl Trait` in argument position.
+#[derive(Clone, Copy, PartialEq, Eq, Hash, PartialOrd, Ord)]
+crate enum ImplTraitParam {
+ DefId(DefId),
+ ParamIndex(u32),
+}
+
+impl From<DefId> for ImplTraitParam {
+ fn from(did: DefId) -> Self {
+ ImplTraitParam::DefId(did)
+ }
+}
+
+impl From<u32> for ImplTraitParam {
+ fn from(idx: u32) -> Self {
+ ImplTraitParam::ParamIndex(idx)
+ }
}
projects / rustc.git / blobdiff