rustc_trait_selection/error_reporting/traits/
call_kind.rs1use rustc_hir::def::DefKind;
6use rustc_hir::def_id::DefId;
7use rustc_hir::{LangItem, lang_items};
8use rustc_middle::ty::{
9 AssocContainer, GenericArgsRef, Instance, Ty, TyCtxt, TypingEnv, Unnormalized,
10};
11use rustc_span::{DUMMY_SP, DesugaringKind, Ident, Span, sym};
12use tracing::debug;
13
14use crate::traits::specialization_graph;
15
16#[derive(#[automatically_derived]
impl ::core::clone::Clone for CallDesugaringKind {
#[inline]
fn clone(&self) -> CallDesugaringKind { *self }
}Clone, #[automatically_derived]
impl ::core::marker::Copy for CallDesugaringKind { }Copy, #[automatically_derived]
impl ::core::cmp::PartialEq for CallDesugaringKind {
#[inline]
fn eq(&self, other: &CallDesugaringKind) -> bool {
let __self_discr = ::core::intrinsics::discriminant_value(self);
let __arg1_discr = ::core::intrinsics::discriminant_value(other);
__self_discr == __arg1_discr
}
}PartialEq, #[automatically_derived]
impl ::core::cmp::Eq for CallDesugaringKind {
#[inline]
#[doc(hidden)]
#[coverage(off)]
fn assert_fields_are_eq(&self) {}
}Eq, #[automatically_derived]
impl ::core::fmt::Debug for CallDesugaringKind {
#[inline]
fn fmt(&self, f: &mut ::core::fmt::Formatter) -> ::core::fmt::Result {
::core::fmt::Formatter::write_str(f,
match self {
CallDesugaringKind::ForLoopIntoIter => "ForLoopIntoIter",
CallDesugaringKind::ForLoopNext => "ForLoopNext",
CallDesugaringKind::QuestionBranch => "QuestionBranch",
CallDesugaringKind::QuestionFromResidual =>
"QuestionFromResidual",
CallDesugaringKind::TryBlockFromOutput =>
"TryBlockFromOutput",
CallDesugaringKind::Await => "Await",
})
}
}Debug)]
17pub enum CallDesugaringKind {
18 ForLoopIntoIter,
20 ForLoopNext,
22 QuestionBranch,
24 QuestionFromResidual,
26 TryBlockFromOutput,
28 Await,
30}
31
32impl CallDesugaringKind {
33 pub fn trait_def_id(self, tcx: TyCtxt<'_>) -> DefId {
34 match self {
35 Self::ForLoopIntoIter => tcx.get_diagnostic_item(sym::IntoIterator).unwrap(),
36 Self::ForLoopNext => tcx.require_lang_item(LangItem::Iterator, DUMMY_SP),
37 Self::QuestionBranch | Self::TryBlockFromOutput => {
38 tcx.require_lang_item(LangItem::Try, DUMMY_SP)
39 }
40 Self::QuestionFromResidual => tcx.get_diagnostic_item(sym::FromResidual).unwrap(),
41 Self::Await => tcx.get_diagnostic_item(sym::IntoFuture).unwrap(),
42 }
43 }
44}
45
46#[derive(#[automatically_derived]
impl<'tcx> ::core::clone::Clone for CallKind<'tcx> {
#[inline]
fn clone(&self) -> CallKind<'tcx> {
let _: ::core::clone::AssertParamIsClone<Option<Ident>>;
let _:
::core::clone::AssertParamIsClone<Option<(CallDesugaringKind,
Ty<'tcx>)>>;
let _: ::core::clone::AssertParamIsClone<DefId>;
let _: ::core::clone::AssertParamIsClone<GenericArgsRef<'tcx>>;
let _: ::core::clone::AssertParamIsClone<Ty<'tcx>>;
let _: ::core::clone::AssertParamIsClone<Option<Ident>>;
let _: ::core::clone::AssertParamIsClone<Ty<'tcx>>;
let _: ::core::clone::AssertParamIsClone<Option<Span>>;
let _: ::core::clone::AssertParamIsClone<Ty<'tcx>>;
let _: ::core::clone::AssertParamIsClone<Ty<'tcx>>;
*self
}
}Clone, #[automatically_derived]
impl<'tcx> ::core::marker::Copy for CallKind<'tcx> { }Copy, #[automatically_derived]
impl<'tcx> ::core::cmp::PartialEq for CallKind<'tcx> {
#[inline]
fn eq(&self, other: &CallKind<'tcx>) -> bool {
let __self_discr = ::core::intrinsics::discriminant_value(self);
let __arg1_discr = ::core::intrinsics::discriminant_value(other);
__self_discr == __arg1_discr &&
match (self, other) {
(CallKind::Normal {
self_arg: __self_0,
desugaring: __self_1,
method_did: __self_2,
method_args: __self_3 }, CallKind::Normal {
self_arg: __arg1_0,
desugaring: __arg1_1,
method_did: __arg1_2,
method_args: __arg1_3 }) =>
__self_0 == __arg1_0 && __self_1 == __arg1_1 &&
__self_2 == __arg1_2 && __self_3 == __arg1_3,
(CallKind::FnCall { fn_trait_id: __self_0, self_ty: __self_1
}, CallKind::FnCall {
fn_trait_id: __arg1_0, self_ty: __arg1_1 }) =>
__self_0 == __arg1_0 && __self_1 == __arg1_1,
(CallKind::Operator {
self_arg: __self_0, trait_id: __self_1, self_ty: __self_2 },
CallKind::Operator {
self_arg: __arg1_0, trait_id: __arg1_1, self_ty: __arg1_2 })
=>
__self_0 == __arg1_0 && __self_1 == __arg1_1 &&
__self_2 == __arg1_2,
(CallKind::DerefCoercion {
deref_target_span: __self_0,
deref_target_ty: __self_1,
self_ty: __self_2 }, CallKind::DerefCoercion {
deref_target_span: __arg1_0,
deref_target_ty: __arg1_1,
self_ty: __arg1_2 }) =>
__self_0 == __arg1_0 && __self_1 == __arg1_1 &&
__self_2 == __arg1_2,
_ => unsafe { ::core::intrinsics::unreachable() }
}
}
}PartialEq, #[automatically_derived]
impl<'tcx> ::core::cmp::Eq for CallKind<'tcx> {
#[inline]
#[doc(hidden)]
#[coverage(off)]
fn assert_fields_are_eq(&self) {
let _: ::core::cmp::AssertParamIsEq<Option<Ident>>;
let _:
::core::cmp::AssertParamIsEq<Option<(CallDesugaringKind,
Ty<'tcx>)>>;
let _: ::core::cmp::AssertParamIsEq<DefId>;
let _: ::core::cmp::AssertParamIsEq<GenericArgsRef<'tcx>>;
let _: ::core::cmp::AssertParamIsEq<Ty<'tcx>>;
let _: ::core::cmp::AssertParamIsEq<Option<Ident>>;
let _: ::core::cmp::AssertParamIsEq<Ty<'tcx>>;
let _: ::core::cmp::AssertParamIsEq<Option<Span>>;
let _: ::core::cmp::AssertParamIsEq<Ty<'tcx>>;
let _: ::core::cmp::AssertParamIsEq<Ty<'tcx>>;
}
}Eq, #[automatically_derived]
impl<'tcx> ::core::fmt::Debug for CallKind<'tcx> {
#[inline]
fn fmt(&self, f: &mut ::core::fmt::Formatter) -> ::core::fmt::Result {
match self {
CallKind::Normal {
self_arg: __self_0,
desugaring: __self_1,
method_did: __self_2,
method_args: __self_3 } =>
::core::fmt::Formatter::debug_struct_field4_finish(f,
"Normal", "self_arg", __self_0, "desugaring", __self_1,
"method_did", __self_2, "method_args", &__self_3),
CallKind::FnCall { fn_trait_id: __self_0, self_ty: __self_1 } =>
::core::fmt::Formatter::debug_struct_field2_finish(f,
"FnCall", "fn_trait_id", __self_0, "self_ty", &__self_1),
CallKind::Operator {
self_arg: __self_0, trait_id: __self_1, self_ty: __self_2 } =>
::core::fmt::Formatter::debug_struct_field3_finish(f,
"Operator", "self_arg", __self_0, "trait_id", __self_1,
"self_ty", &__self_2),
CallKind::DerefCoercion {
deref_target_span: __self_0,
deref_target_ty: __self_1,
self_ty: __self_2 } =>
::core::fmt::Formatter::debug_struct_field3_finish(f,
"DerefCoercion", "deref_target_span", __self_0,
"deref_target_ty", __self_1, "self_ty", &__self_2),
}
}
}Debug)]
47pub enum CallKind<'tcx> {
48 Normal {
50 self_arg: Option<Ident>,
51 desugaring: Option<(CallDesugaringKind, Ty<'tcx>)>,
52 method_did: DefId,
53 method_args: GenericArgsRef<'tcx>,
54 },
55 FnCall { fn_trait_id: DefId, self_ty: Ty<'tcx> },
57 Operator { self_arg: Option<Ident>, trait_id: DefId, self_ty: Ty<'tcx> },
59 DerefCoercion {
60 deref_target_span: Option<Span>,
63 deref_target_ty: Ty<'tcx>,
65 self_ty: Ty<'tcx>,
66 },
67}
68
69pub fn call_kind<'tcx>(
70 tcx: TyCtxt<'tcx>,
71 typing_env: TypingEnv<'tcx>,
72 method_did: DefId,
73 method_args: GenericArgsRef<'tcx>,
74 fn_call_span: Span,
75 from_hir_call: bool,
76 self_arg: Option<Ident>,
77) -> CallKind<'tcx> {
78 let parent = tcx.opt_associated_item(method_did).and_then(|assoc| {
79 let container_id = assoc.container_id(tcx);
80 match assoc.container {
81 AssocContainer::InherentImpl => None,
82 AssocContainer::TraitImpl(_) => Some(tcx.impl_trait_id(container_id)),
83 AssocContainer::Trait => Some(container_id),
84 }
85 });
86
87 let fn_call = parent.filter(|&p| tcx.fn_trait_kind_from_def_id(p).is_some());
88
89 let operator = if !from_hir_call && let Some(p) = parent {
90 lang_items::OPERATORS.iter().filter_map(|&l| tcx.lang_items().get(l)).find(|&id| id == p)
91 } else {
92 None
93 };
94
95 if let Some(trait_id) = fn_call {
99 return CallKind::FnCall { fn_trait_id: trait_id, self_ty: method_args.type_at(0) };
100 } else if let Some(trait_id) = operator {
101 return CallKind::Operator { self_arg, trait_id, self_ty: method_args.type_at(0) };
102 } else if !from_hir_call && tcx.is_diagnostic_item(sym::deref_method, method_did) {
103 let deref_target_def_id =
104 tcx.get_diagnostic_item(sym::deref_target).expect("deref method but no deref target");
105 let deref_target_ty = tcx.normalize_erasing_regions(
106 typing_env,
107 Unnormalized::new(Ty::new_projection(tcx, deref_target_def_id, method_args)),
108 );
109 let deref_target_span = if let Ok(Some(instance)) =
110 Instance::try_resolve(tcx, typing_env, method_did, method_args)
111 && let instance_parent_def_id = tcx.parent(instance.def_id())
112 && #[allow(non_exhaustive_omitted_patterns)] match tcx.def_kind(instance_parent_def_id)
{
DefKind::Impl { .. } => true,
_ => false,
}matches!(tcx.def_kind(instance_parent_def_id), DefKind::Impl { .. })
113 && let Ok(instance) =
114 specialization_graph::assoc_def(tcx, instance_parent_def_id, deref_target_def_id)
115 && instance.is_final()
116 {
117 Some(tcx.def_span(instance.item.def_id))
118 } else {
119 None
120 };
121 return CallKind::DerefCoercion {
122 deref_target_ty,
123 deref_target_span,
124 self_ty: method_args.type_at(0),
125 };
126 }
127
128 {
use ::tracing::__macro_support::Callsite as _;
static __CALLSITE: ::tracing::callsite::DefaultCallsite =
{
static META: ::tracing::Metadata<'static> =
{
::tracing_core::metadata::Metadata::new("event compiler/rustc_trait_selection/src/error_reporting/traits/call_kind.rs:129",
"rustc_trait_selection::error_reporting::traits::call_kind",
::tracing::Level::DEBUG,
::tracing_core::__macro_support::Option::Some("compiler/rustc_trait_selection/src/error_reporting/traits/call_kind.rs"),
::tracing_core::__macro_support::Option::Some(129u32),
::tracing_core::__macro_support::Option::Some("rustc_trait_selection::error_reporting::traits::call_kind"),
::tracing_core::field::FieldSet::new(&["method_did",
"fn_call_span"],
::tracing_core::callsite::Identifier(&__CALLSITE)),
::tracing::metadata::Kind::EVENT)
};
::tracing::callsite::DefaultCallsite::new(&META)
};
let enabled =
::tracing::Level::DEBUG <= ::tracing::level_filters::STATIC_MAX_LEVEL
&&
::tracing::Level::DEBUG <=
::tracing::level_filters::LevelFilter::current() &&
{
let interest = __CALLSITE.interest();
!interest.is_never() &&
::tracing::__macro_support::__is_enabled(__CALLSITE.metadata(),
interest)
};
if enabled {
(|value_set: ::tracing::field::ValueSet|
{
let meta = __CALLSITE.metadata();
::tracing::Event::dispatch(meta, &value_set);
;
})({
#[allow(unused_imports)]
use ::tracing::field::{debug, display, Value};
let mut iter = __CALLSITE.metadata().fields().iter();
__CALLSITE.metadata().fields().value_set(&[(&::tracing::__macro_support::Iterator::next(&mut iter).expect("FieldSet corrupted (this is a bug)"),
::tracing::__macro_support::Option::Some(&debug(&method_did)
as &dyn Value)),
(&::tracing::__macro_support::Iterator::next(&mut iter).expect("FieldSet corrupted (this is a bug)"),
::tracing::__macro_support::Option::Some(&debug(&fn_call_span)
as &dyn Value))])
});
} else { ; }
};debug!(?method_did, ?fn_call_span);
130 let desugaring = if tcx.is_lang_item(method_did, LangItem::IntoIterIntoIter)
131 && fn_call_span.desugaring_kind() == Some(DesugaringKind::ForLoop)
132 {
133 Some((CallDesugaringKind::ForLoopIntoIter, method_args.type_at(0)))
134 } else if tcx.is_lang_item(method_did, LangItem::IteratorNext)
135 && fn_call_span.desugaring_kind() == Some(DesugaringKind::ForLoop)
136 {
137 Some((CallDesugaringKind::ForLoopNext, method_args.type_at(0)))
138 } else if fn_call_span.desugaring_kind() == Some(DesugaringKind::QuestionMark) {
139 if tcx.is_lang_item(method_did, LangItem::TryTraitBranch) {
140 Some((CallDesugaringKind::QuestionBranch, method_args.type_at(0)))
141 } else if tcx.is_lang_item(method_did, LangItem::TryTraitFromResidual) {
142 Some((CallDesugaringKind::QuestionFromResidual, method_args.type_at(0)))
143 } else {
144 None
145 }
146 } else if tcx.is_lang_item(method_did, LangItem::TryTraitFromOutput)
147 && fn_call_span.desugaring_kind() == Some(DesugaringKind::TryBlock)
148 {
149 Some((CallDesugaringKind::TryBlockFromOutput, method_args.type_at(0)))
150 } else if fn_call_span.is_desugaring(DesugaringKind::Await) {
151 Some((CallDesugaringKind::Await, method_args.type_at(0)))
152 } else {
153 None
154 };
155 CallKind::Normal { self_arg, desugaring, method_did, method_args }
156}