Skip to content

Commit 14fb00b

Browse files
jdonszelmannjdonszelmann
committed
propagate default
1 parent 7ee830f commit 14fb00b

File tree

13 files changed

+54
-44
lines changed

13 files changed

+54
-44
lines changed

‎compiler/rustc_ast/src/ast.rs

Lines changed: 3 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1952,11 +1952,11 @@ pub struct MacroDef {
19521952
/// `true` if macro was defined with `macro_rules`.
19531953
pub macro_rules: bool,
19541954

1955-
pub eii_macro_for: Option<EiiMacroFor>,
1955+
pub eii_macro_for: Option<EIIMacroFor>,
19561956
}
19571957

19581958
#[derive(Clone, Encodable, Decodable, Debug, HashStable_Generic)]
1959-
pub struct EiiMacroFor {
1959+
pub struct EIIMacroFor {
19601960
pub extern_item_path: Path,
19611961
pub impl_unsafe: bool,
19621962
}
@@ -3598,6 +3598,7 @@ pub struct EIIImpl {
35983598
pub impl_safety: Safety,
35993599
pub span: Span,
36003600
pub inner_span: Span,
3601+
pub is_default: bool,
36013602
}
36023603

36033604
#[derive(Clone, Encodable, Decodable, Debug)]

‎compiler/rustc_ast/src/mut_visit.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -735,7 +735,7 @@ fn walk_mac<T: MutVisitor>(vis: &mut T, mac: &mut MacCall) {
735735

736736
fn walk_macro_def<T: MutVisitor>(vis: &mut T, macro_def: &mut MacroDef) {
737737
let MacroDef { body, macro_rules: _, eii_macro_for } = macro_def;
738-
if let Some(EiiMacroFor { extern_item_path, impl_unsafe: _ }) = eii_macro_for {
738+
if let Some(EIIMacroFor { extern_item_path, impl_unsafe: _ }) = eii_macro_for {
739739
vis.visit_path(extern_item_path);
740740
}
741741
visit_delim_args(vis, body);

‎compiler/rustc_ast/src/visit.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -479,7 +479,7 @@ impl WalkItemKind for ItemKind {
479479
ItemKind::MacroDef(ident, ts) => {
480480
try_visit!(visitor.visit_ident(ident));
481481
try_visit!(visitor.visit_mac_def(ts, id));
482-
if let Some(EiiMacroFor { extern_item_path, impl_unsafe: _ }) = &ts.eii_macro_for {
482+
if let Some(EIIMacroFor { extern_item_path, impl_unsafe: _ }) = &ts.eii_macro_for {
483483
try_visit!(visitor.visit_path(extern_item_path, id));
484484
}
485485
}

‎compiler/rustc_ast_lowering/src/item.rs

Lines changed: 16 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -23,7 +23,6 @@ use super::{
2323
AstOwner, FnDeclKind, ImplTraitContext, ImplTraitPosition, LoweringContext, ParamMode,
2424
ResolverAstLoweringExt,
2525
};
26-
use crate::GenericArgsMode;
2726

2827
pub(super) struct ItemLowerer<'a, 'hir> {
2928
pub(super) tcx: TyCtxt<'hir>,
@@ -156,7 +155,15 @@ impl<'hir> LoweringContext<'_, 'hir> {
156155
match i {
157156
ItemKind::Fn(box Fn { eii_impl, .. }) => {
158157
let mut eii_impls = ThinVec::new();
159-
for EIIImpl { node_id, eii_macro_path, impl_safety, span, inner_span } in eii_impl {
158+
for EIIImpl {
159+
node_id,
160+
eii_macro_path,
161+
impl_safety,
162+
span,
163+
inner_span,
164+
is_default,
165+
} in eii_impl
166+
{
160167
let did = self.lower_path_simple_eii(*node_id, eii_macro_path);
161168
eii_impls.push(rustc_attr_parsing::EIIImpl {
162169
eii_macro: did,
@@ -165,12 +172,18 @@ impl<'hir> LoweringContext<'_, 'hir> {
165172
impl_marked_unsafe: self
166173
.lower_safety(*impl_safety, hir::Safety::Safe)
167174
.is_unsafe(),
175+
is_default: *is_default,
168176
})
169177
}
170178

171179
vec![hir::Attribute::Parsed(AttributeKind::EiiImpl(eii_impls))]
172180
}
173-
ItemKind::MacroDef(_, MacroDef { eii_macro_for: Some(EiiMacroFor { extern_item_path, impl_unsafe }), .. }) => {
181+
ItemKind::MacroDef(
182+
_,
183+
MacroDef {
184+
eii_macro_for: Some(EIIMacroFor { extern_item_path, impl_unsafe }), ..
185+
},
186+
) => {
174187
vec![hir::Attribute::Parsed(AttributeKind::EiiMacroFor {
175188
eii_extern_item: self.lower_path_simple_eii(id, extern_item_path),
176189
impl_unsafe: *impl_unsafe,
@@ -720,7 +733,6 @@ impl<'hir> LoweringContext<'_, 'hir> {
720733
)
721734
});
722735

723-
724736
// Unmarked safety in unsafe block defaults to unsafe.
725737
let header = self.lower_fn_header(sig.header, hir::Safety::Unsafe, attrs);
726738

‎compiler/rustc_ast_pretty/src/pprust/state/item.rs

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -671,7 +671,8 @@ impl<'a> State<'a> {
671671
}
672672

673673
fn print_fn_full(&mut self, vis: &ast::Visibility, attrs: &[ast::Attribute], func: &ast::Fn) {
674-
let ast::Fn { defaultness, ident, generics, sig, contract, body, define_opaque, eii_impl } = func;
674+
let ast::Fn { defaultness, ident, generics, sig, contract, body, define_opaque, eii_impl } =
675+
func;
675676
self.print_define_opaques(define_opaque.as_deref());
676677

677678
let body_cb_ib = body.as_ref().map(|body| (body, self.head("")));

‎compiler/rustc_attr_data_structures/src/attributes.rs

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -145,6 +145,7 @@ pub struct EIIImpl {
145145
pub impl_marked_unsafe: bool,
146146
pub span: Span,
147147
pub inner_span: Span,
148+
pub is_default: bool,
148149
}
149150

150151
/// Represent parsed, *built in*, inert attributes.

‎compiler/rustc_builtin_macros/src/eii.rs

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
use rustc_ast::{DUMMY_NODE_ID, EIIImpl, EiiMacroFor, ItemKind, ast};
1+
use rustc_ast::{DUMMY_NODE_ID, EIIImpl, EIIMacroFor, ItemKind, ast};
22
use rustc_ast_pretty::pprust::path_to_string;
33
use rustc_expand::base::{Annotatable, ExtCtxt};
44
use rustc_span::{Span, kw};
@@ -50,7 +50,7 @@ pub(crate) fn eii_macro_for(
5050
false
5151
};
5252

53-
d.eii_macro_for = Some(EiiMacroFor { extern_item_path, impl_unsafe });
53+
d.eii_macro_for = Some(EIIMacroFor { extern_item_path, impl_unsafe });
5454

5555
// Return the original item and the new methods.
5656
vec![item]
@@ -94,8 +94,8 @@ pub(crate) fn eii_macro(
9494
eii_macro_path: meta_item.path.clone(),
9595
impl_safety: meta_item.unsafety,
9696
span,
97-
inner_span: meta_item.span,
98-
is_default: false,
97+
inner_span: meta_item.path.span,
98+
is_default,
9999
});
100100

101101
vec![item]

‎compiler/rustc_hir_analysis/src/check/compare_eii.rs

Lines changed: 12 additions & 20 deletions
Original file line numberDiff line numberDiff line change
@@ -2,24 +2,19 @@ use std::borrow::Cow;
22
use std::iter;
33

44
use rustc_data_structures::fx::FxIndexSet;
5-
use rustc_errors::{
6-
Applicability, E0050, E0053, E0053, E0053, struct_span_code_err, struct_span_code_err,
7-
struct_span_code_err,
8-
};
5+
use rustc_errors::{Applicability, E0050, E0053, struct_span_code_err};
96
use rustc_hir::def_id::{DefId, LocalDefId};
10-
use rustc_hir::{
11-
self as hir, self as hir, self as hir, FnSig, HirId, HirId, HirId, ItemKind, ItemKind, ItemKind,
12-
};
7+
use rustc_hir::{self as hir, FnSig, HirId, ItemKind};
8+
use rustc_infer::infer::canonical::ir::TypingMode;
139
use rustc_infer::infer::{self, InferCtxt, TyCtxtInferExt};
1410
use rustc_infer::traits::{ObligationCause, ObligationCauseCode};
1511
use rustc_middle::ty;
1612
use rustc_middle::ty::TyCtxt;
17-
use rustc_middle::ty::error::{ExpectedFound, TypeError, TypeError, TypeError};
18-
use rustc_span::{ErrorGuaranteed, Ident, Span};
13+
use rustc_middle::ty::error::{ExpectedFound, TypeError};
14+
use rustc_span::{ErrorGuaranteed, Ident, Span, Symbol};
1915
use rustc_trait_selection::error_reporting::InferCtxtErrorExt;
2016
use rustc_trait_selection::regions::InferCtxtRegionExt;
2117
use rustc_trait_selection::traits::ObligationCtxt;
22-
use rustc_type_ir::TypingMode;
2318
use tracing::{debug, instrument};
2419

2520
use super::potentially_plural_count;
@@ -150,9 +145,9 @@ fn compare_number_of_method_arguments<'tcx>(
150145
}
151146
})
152147
})
153-
.or_else(|| tcx.hir().span_if_local(declaration));
148+
.or_else(|| tcx.hir_span_if_local(declaration));
154149

155-
let (external_impl_sig, _, _) = &tcx.hir().expect_item(external_impl).expect_fn();
150+
let (_, external_impl_sig, _, _) = &tcx.hir_expect_item(external_impl).expect_fn();
156151
let pos = external_impl_number_args.saturating_sub(1);
157152
let impl_span = external_impl_sig
158153
.decl
@@ -326,7 +321,7 @@ fn report_eii_mismatch<'tcx>(
326321
if declaration_sig.inputs().len() == *i {
327322
// Suggestion to change output type. We do not suggest in `async` functions
328323
// to avoid complex logic or incorrect output.
329-
if let ItemKind::Fn { sig, .. } = &tcx.hir().expect_item(external_impl_did).kind
324+
if let ItemKind::Fn { sig, .. } = &tcx.hir_expect_item(external_impl_did).kind
330325
&& !sig.header.asyncness.is_async()
331326
{
332327
let msg = "change the output type to match the declaration";
@@ -381,12 +376,9 @@ fn extract_spans_for_error_reporting<'tcx>(
381376
) -> (Span, Option<Span>, Ident) {
382377
let tcx = infcx.tcx;
383378
let (mut external_impl_args, external_impl_name) = {
384-
let item = tcx.hir().expect_item(external_impl);
385-
let (sig, _, _) = item.expect_fn();
386-
(
387-
sig.decl.inputs.iter().map(|t| t.span).chain(iter::once(sig.decl.output.span())),
388-
item.ident,
389-
)
379+
let item = tcx.hir_expect_item(external_impl);
380+
let (ident, sig, _, _) = item.expect_fn();
381+
(sig.decl.inputs.iter().map(|t| t.span).chain(iter::once(sig.decl.output.span())), ident)
390382
};
391383

392384
let declaration_args = declaration.as_local().map(|def_id| {
@@ -403,7 +395,7 @@ fn extract_spans_for_error_reporting<'tcx>(
403395
declaration_args.and_then(|mut args| args.nth(i)),
404396
external_impl_name,
405397
),
406-
_ => (cause.span, tcx.hir().span_if_local(declaration), external_impl_name),
398+
_ => (cause.span, tcx.hir_span_if_local(declaration), external_impl_name),
407399
}
408400
}
409401

‎compiler/rustc_hir_analysis/src/check/wfcheck.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -40,7 +40,7 @@ use rustc_trait_selection::traits::{
4040
use tracing::{debug, instrument};
4141
use {rustc_ast as ast, rustc_hir as hir};
4242

43-
use super::compare_eii::{compare_eii_function_types, compare_eii_predicate_entailment};
43+
use super::compare_eii::compare_eii_function_types;
4444
use crate::autoderef::Autoderef;
4545
use crate::collect::CollectItemTypesVisitor;
4646
use crate::constrained_generic_params::{Parameter, identify_constrained_generic_params};

‎compiler/rustc_metadata/src/rmeta/encoder.rs

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1851,7 +1851,9 @@ impl<'a, 'tcx> EncodeContext<'a, 'tcx> {
18511851
fn encode_info_for_macro(&mut self, def_id: LocalDefId) {
18521852
let tcx = self.tcx;
18531853

1854-
let hir::ItemKind::Macro(_, macro_def, _) = tcx.hir_expect_item(def_id).kind else { bug!() };
1854+
let hir::ItemKind::Macro(_, macro_def, _) = tcx.hir_expect_item(def_id).kind else {
1855+
bug!()
1856+
};
18551857
self.tables.is_macro_rules.set(def_id.local_def_index, macro_def.macro_rules);
18561858
record!(self.tables.macro_definition[def_id.to_def_id()] <- &*macro_def.body);
18571859
}

0 commit comments

Comments
 (0)