1use hir::{ConstContext, LangItem};
4use rustc_errors::codes::*;
5use rustc_errors::{Applicability, Diag, MultiSpan, msg};
6use rustc_hir as hir;
7use rustc_hir::def_id::DefId;
8use rustc_infer::infer::TyCtxtInferExt;
9use rustc_infer::traits::{ImplSource, Obligation, ObligationCause};
10use rustc_middle::mir::CallSource;
11use rustc_middle::span_bug;
12use rustc_middle::ty::print::{PrintTraitRefExt as _, with_no_trimmed_paths};
13use rustc_middle::ty::{
14 self, AssocContainer, Closure, FnDef, FnPtr, GenericArgKind, GenericArgsRef, Param, TraitRef,
15 Ty, suggest_constraining_type_param,
16};
17use rustc_session::parse::add_feature_diagnostics;
18use rustc_span::{BytePos, Pos, Span, Symbol, sym};
19use rustc_trait_selection::error_reporting::traits::call_kind::{
20 CallDesugaringKind, CallKind, call_kind,
21};
22use rustc_trait_selection::traits::SelectionContext;
23use tracing::debug;
24
25use super::ConstCx;
26use crate::errors;
27
28#[derive(#[automatically_derived]
impl ::core::clone::Clone for Status {
#[inline]
fn clone(&self) -> Status {
let _: ::core::clone::AssertParamIsClone<Symbol>;
let _: ::core::clone::AssertParamIsClone<bool>;
*self
}
}Clone, #[automatically_derived]
impl ::core::marker::Copy for Status { }Copy, #[automatically_derived]
impl ::core::fmt::Debug for Status {
#[inline]
fn fmt(&self, f: &mut ::core::fmt::Formatter) -> ::core::fmt::Result {
match self {
Status::Unstable {
gate: __self_0,
gate_already_checked: __self_1,
safe_to_expose_on_stable: __self_2,
is_function_call: __self_3 } =>
::core::fmt::Formatter::debug_struct_field4_finish(f,
"Unstable", "gate", __self_0, "gate_already_checked",
__self_1, "safe_to_expose_on_stable", __self_2,
"is_function_call", &__self_3),
Status::Forbidden =>
::core::fmt::Formatter::write_str(f, "Forbidden"),
}
}
}Debug, #[automatically_derived]
impl ::core::cmp::PartialEq for Status {
#[inline]
fn eq(&self, other: &Status) -> bool {
let __self_discr = ::core::intrinsics::discriminant_value(self);
let __arg1_discr = ::core::intrinsics::discriminant_value(other);
__self_discr == __arg1_discr &&
match (self, other) {
(Status::Unstable {
gate: __self_0,
gate_already_checked: __self_1,
safe_to_expose_on_stable: __self_2,
is_function_call: __self_3 }, Status::Unstable {
gate: __arg1_0,
gate_already_checked: __arg1_1,
safe_to_expose_on_stable: __arg1_2,
is_function_call: __arg1_3 }) =>
__self_1 == __arg1_1 && __self_2 == __arg1_2 &&
__self_3 == __arg1_3 && __self_0 == __arg1_0,
_ => true,
}
}
}PartialEq, #[automatically_derived]
impl ::core::cmp::Eq for Status {
#[inline]
#[doc(hidden)]
#[coverage(off)]
fn assert_fields_are_eq(&self) {
let _: ::core::cmp::AssertParamIsEq<Symbol>;
let _: ::core::cmp::AssertParamIsEq<bool>;
}
}Eq)]
29pub enum Status {
30 Unstable {
31 gate: Symbol,
33 gate_already_checked: bool,
36 safe_to_expose_on_stable: bool,
39 is_function_call: bool,
42 },
43 Forbidden,
44}
45
46#[derive(#[automatically_derived]
impl ::core::clone::Clone for DiagImportance {
#[inline]
fn clone(&self) -> DiagImportance { *self }
}Clone, #[automatically_derived]
impl ::core::marker::Copy for DiagImportance { }Copy)]
47pub enum DiagImportance {
48 Primary,
50
51 Secondary,
53}
54
55pub trait NonConstOp<'tcx>: std::fmt::Debug {
57 fn status_in_item(&self, _ccx: &ConstCx<'_, 'tcx>) -> Status {
59 Status::Forbidden
60 }
61
62 fn importance(&self) -> DiagImportance {
63 DiagImportance::Primary
64 }
65
66 fn build_error(&self, ccx: &ConstCx<'_, 'tcx>, span: Span) -> Diag<'tcx>;
67}
68
69#[derive(#[automatically_derived]
impl ::core::fmt::Debug for FnCallIndirect {
#[inline]
fn fmt(&self, f: &mut ::core::fmt::Formatter) -> ::core::fmt::Result {
::core::fmt::Formatter::write_str(f, "FnCallIndirect")
}
}Debug)]
71pub(crate) struct FnCallIndirect;
72impl<'tcx> NonConstOp<'tcx> for FnCallIndirect {
73 fn build_error(&self, ccx: &ConstCx<'_, 'tcx>, span: Span) -> Diag<'tcx> {
74 ccx.dcx().create_err(errors::UnallowedFnPointerCall { span, kind: ccx.const_kind() })
75 }
76}
77
78#[derive(#[automatically_derived]
impl ::core::fmt::Debug for FnCallCVariadic {
#[inline]
fn fmt(&self, f: &mut ::core::fmt::Formatter) -> ::core::fmt::Result {
::core::fmt::Formatter::write_str(f, "FnCallCVariadic")
}
}Debug)]
80pub(crate) struct FnCallCVariadic;
81impl<'tcx> NonConstOp<'tcx> for FnCallCVariadic {
82 fn status_in_item(&self, _ccx: &ConstCx<'_, 'tcx>) -> Status {
83 Status::Unstable {
84 gate: sym::const_c_variadic,
85 gate_already_checked: false,
86 safe_to_expose_on_stable: false,
87 is_function_call: true,
88 }
89 }
90
91 fn build_error(&self, ccx: &ConstCx<'_, 'tcx>, span: Span) -> Diag<'tcx> {
92 ccx.tcx.sess.create_feature_err(
93 errors::NonConstCVariadicCall { span, kind: ccx.const_kind() },
94 sym::const_c_variadic,
95 )
96 }
97}
98
99#[derive(#[automatically_derived]
impl<'tcx> ::core::fmt::Debug for ConditionallyConstCall<'tcx> {
#[inline]
fn fmt(&self, f: &mut ::core::fmt::Formatter) -> ::core::fmt::Result {
::core::fmt::Formatter::debug_struct_field4_finish(f,
"ConditionallyConstCall", "callee", &self.callee, "args",
&self.args, "span", &self.span, "call_source", &&self.call_source)
}
}Debug)]
101pub(crate) struct ConditionallyConstCall<'tcx> {
102 pub callee: DefId,
103 pub args: GenericArgsRef<'tcx>,
104 pub span: Span,
105 pub call_source: CallSource,
106}
107
108impl<'tcx> NonConstOp<'tcx> for ConditionallyConstCall<'tcx> {
109 fn status_in_item(&self, _ccx: &ConstCx<'_, 'tcx>) -> Status {
110 Status::Unstable {
112 gate: sym::const_trait_impl,
113 gate_already_checked: false,
114 safe_to_expose_on_stable: false,
115 is_function_call: false,
117 }
118 }
119
120 fn build_error(&self, ccx: &ConstCx<'_, 'tcx>, _: Span) -> Diag<'tcx> {
121 let mut diag = build_error_for_const_call(
122 ccx,
123 self.callee,
124 self.args,
125 self.span,
126 self.call_source,
127 "conditionally",
128 |_, _, _| {},
129 );
130
131 diag.code(E0658);
133 add_feature_diagnostics(&mut diag, ccx.tcx.sess, sym::const_trait_impl);
134
135 diag
136 }
137}
138
139#[derive(#[automatically_derived]
impl<'tcx> ::core::fmt::Debug for FnCallNonConst<'tcx> {
#[inline]
fn fmt(&self, f: &mut ::core::fmt::Formatter) -> ::core::fmt::Result {
::core::fmt::Formatter::debug_struct_field4_finish(f,
"FnCallNonConst", "callee", &self.callee, "args", &self.args,
"span", &self.span, "call_source", &&self.call_source)
}
}Debug, #[automatically_derived]
impl<'tcx> ::core::clone::Clone for FnCallNonConst<'tcx> {
#[inline]
fn clone(&self) -> FnCallNonConst<'tcx> {
let _: ::core::clone::AssertParamIsClone<DefId>;
let _: ::core::clone::AssertParamIsClone<GenericArgsRef<'tcx>>;
let _: ::core::clone::AssertParamIsClone<Span>;
let _: ::core::clone::AssertParamIsClone<CallSource>;
*self
}
}Clone, #[automatically_derived]
impl<'tcx> ::core::marker::Copy for FnCallNonConst<'tcx> { }Copy)]
141pub(crate) struct FnCallNonConst<'tcx> {
142 pub callee: DefId,
143 pub args: GenericArgsRef<'tcx>,
144 pub span: Span,
145 pub call_source: CallSource,
146}
147
148impl<'tcx> NonConstOp<'tcx> for FnCallNonConst<'tcx> {
149 fn build_error(&self, ccx: &ConstCx<'_, 'tcx>, _: Span) -> Diag<'tcx> {
150 let tcx = ccx.tcx;
151 let caller = ccx.def_id();
152
153 let mut err = build_error_for_const_call(
154 ccx,
155 self.callee,
156 self.args,
157 self.span,
158 self.call_source,
159 "non",
160 |err, self_ty, trait_id| {
161 let trait_ref = TraitRef::from_assoc(tcx, trait_id, self.args);
164
165 match self_ty.kind() {
166 Param(param_ty) => {
167 {
use ::tracing::__macro_support::Callsite as _;
static __CALLSITE: ::tracing::callsite::DefaultCallsite =
{
static META: ::tracing::Metadata<'static> =
{
::tracing_core::metadata::Metadata::new("event compiler/rustc_const_eval/src/check_consts/ops.rs:167",
"rustc_const_eval::check_consts::ops",
::tracing::Level::DEBUG,
::tracing_core::__macro_support::Option::Some("compiler/rustc_const_eval/src/check_consts/ops.rs"),
::tracing_core::__macro_support::Option::Some(167u32),
::tracing_core::__macro_support::Option::Some("rustc_const_eval::check_consts::ops"),
::tracing_core::field::FieldSet::new(&["param_ty"],
::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(¶m_ty)
as &dyn Value))])
});
} else { ; }
};debug!(?param_ty);
168 if let Some(generics) = tcx.hir_node_by_def_id(caller).generics() {
169 let constraint = {
let _guard = NoTrimmedGuard::new();
::alloc::__export::must_use({
::alloc::fmt::format(format_args!("[const] {0}",
trait_ref.print_trait_sugared()))
})
}with_no_trimmed_paths!(format!(
170 "[const] {}",
171 trait_ref.print_trait_sugared(),
172 ));
173 suggest_constraining_type_param(
174 tcx,
175 generics,
176 err,
177 param_ty.name.as_str(),
178 &constraint,
179 Some(trait_ref.def_id),
180 None,
181 );
182 }
183 }
184 ty::Adt(..) => {
185 let (infcx, param_env) =
186 tcx.infer_ctxt().build_with_typing_env(ccx.typing_env);
187 let obligation =
188 Obligation::new(tcx, ObligationCause::dummy(), param_env, trait_ref);
189 let mut selcx = SelectionContext::new(&infcx);
190 let implsrc = selcx.select(&obligation);
191 if let Ok(Some(ImplSource::UserDefined(data))) = implsrc {
192 if !tcx.is_const_trait_impl(data.impl_def_id) {
194 let span = tcx.def_span(data.impl_def_id);
195 err.subdiagnostic(errors::NonConstImplNote { span });
196 }
197 }
198 }
199 _ => {}
200 }
201 },
202 );
203
204 if let ConstContext::Static(_) = ccx.const_kind() {
205 err.note(rustc_errors::DiagMessage::Inline(std::borrow::Cow::Borrowed("consider wrapping this expression in `std::sync::LazyLock::new(|| ...)`"))msg!(
206 "consider wrapping this expression in `std::sync::LazyLock::new(|| ...)`"
207 ));
208 }
209
210 err
211 }
212}
213
214fn build_error_for_const_call<'tcx>(
219 ccx: &ConstCx<'_, 'tcx>,
220 callee: DefId,
221 args: ty::GenericArgsRef<'tcx>,
222 span: Span,
223 call_source: CallSource,
224 non_or_conditionally: &'static str,
225 note_trait_if_possible: impl FnOnce(&mut Diag<'tcx>, Ty<'tcx>, DefId),
226) -> Diag<'tcx> {
227 let tcx = ccx.tcx;
228
229 let call_kind =
230 call_kind(tcx, ccx.typing_env, callee, args, span, call_source.from_hir_call(), None);
231
232 {
use ::tracing::__macro_support::Callsite as _;
static __CALLSITE: ::tracing::callsite::DefaultCallsite =
{
static META: ::tracing::Metadata<'static> =
{
::tracing_core::metadata::Metadata::new("event compiler/rustc_const_eval/src/check_consts/ops.rs:232",
"rustc_const_eval::check_consts::ops",
::tracing::Level::DEBUG,
::tracing_core::__macro_support::Option::Some("compiler/rustc_const_eval/src/check_consts/ops.rs"),
::tracing_core::__macro_support::Option::Some(232u32),
::tracing_core::__macro_support::Option::Some("rustc_const_eval::check_consts::ops"),
::tracing_core::field::FieldSet::new(&["call_kind"],
::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(&call_kind)
as &dyn Value))])
});
} else { ; }
};debug!(?call_kind);
233
234 let mut err = match call_kind {
235 CallKind::Normal { desugaring: Some((kind, self_ty)), .. } => {
236 macro_rules! error {
237 ($err:ident) => {
238 tcx.dcx().create_err(errors::$err {
239 span,
240 ty: self_ty,
241 kind: ccx.const_kind(),
242 non_or_conditionally,
243 })
244 };
245 }
246
247 match kind {
250 CallDesugaringKind::ForLoopIntoIter | CallDesugaringKind::ForLoopNext => {
251 tcx.dcx().create_err(errors::NonConstForLoopIntoIter {
span,
ty: self_ty,
kind: ccx.const_kind(),
non_or_conditionally,
})error!(NonConstForLoopIntoIter)
252 }
253 CallDesugaringKind::QuestionBranch => {
254 tcx.dcx().create_err(errors::NonConstQuestionBranch {
span,
ty: self_ty,
kind: ccx.const_kind(),
non_or_conditionally,
})error!(NonConstQuestionBranch)
255 }
256 CallDesugaringKind::QuestionFromResidual => {
257 tcx.dcx().create_err(errors::NonConstQuestionFromResidual {
span,
ty: self_ty,
kind: ccx.const_kind(),
non_or_conditionally,
})error!(NonConstQuestionFromResidual)
258 }
259 CallDesugaringKind::TryBlockFromOutput => {
260 tcx.dcx().create_err(errors::NonConstTryBlockFromOutput {
span,
ty: self_ty,
kind: ccx.const_kind(),
non_or_conditionally,
})error!(NonConstTryBlockFromOutput)
261 }
262 CallDesugaringKind::Await => {
263 tcx.dcx().create_err(errors::NonConstAwait {
span,
ty: self_ty,
kind: ccx.const_kind(),
non_or_conditionally,
})error!(NonConstAwait)
264 }
265 }
266 }
267 CallKind::FnCall { fn_trait_id, self_ty } => {
268 let kind = ccx.const_kind();
269 let note = match self_ty.kind() {
270 FnDef(def_id, ..) => {
271 let span = tcx.def_span(*def_id);
272 if ccx.tcx.is_const_fn(*def_id) {
273 ::rustc_middle::util::bug::span_bug_fmt(span,
format_args!("calling const FnDef errored when it shouldn\'t"));span_bug!(span, "calling const FnDef errored when it shouldn't");
274 }
275
276 Some(errors::NonConstClosureNote::FnDef { span })
277 }
278 FnPtr(..) => Some(errors::NonConstClosureNote::FnPtr { kind }),
279 Closure(..) => Some(errors::NonConstClosureNote::Closure { kind }),
280 _ => None,
281 };
282
283 let mut err = tcx.dcx().create_err(errors::NonConstClosure {
284 span,
285 kind: ccx.const_kind(),
286 note,
287 non_or_conditionally,
288 });
289
290 note_trait_if_possible(&mut err, self_ty, fn_trait_id);
291 err
292 }
293 CallKind::Operator { trait_id, self_ty, .. } => {
294 let mut err = if let CallSource::MatchCmp = call_source {
295 tcx.dcx().create_err(errors::NonConstMatchEq {
296 span,
297 kind: ccx.const_kind(),
298 ty: self_ty,
299 non_or_conditionally,
300 })
301 } else {
302 let mut sugg = None;
303
304 if ccx.tcx.is_lang_item(trait_id, LangItem::PartialEq) {
305 match (args[0].kind(), args[1].kind()) {
306 (GenericArgKind::Type(self_ty), GenericArgKind::Type(rhs_ty))
307 if self_ty == rhs_ty
308 && self_ty.is_ref()
309 && self_ty.peel_refs().is_primitive() =>
310 {
311 let mut num_refs = 0;
312 let mut tmp_ty = self_ty;
313 while let rustc_middle::ty::Ref(_, inner_ty, _) = tmp_ty.kind() {
314 num_refs += 1;
315 tmp_ty = *inner_ty;
316 }
317 let deref = "*".repeat(num_refs);
318
319 if let Ok(call_str) = ccx.tcx.sess.source_map().span_to_snippet(span)
320 && let Some(eq_idx) = call_str.find("==")
321 && let Some(rhs_idx) =
322 call_str[(eq_idx + 2)..].find(|c: char| !c.is_whitespace())
323 {
324 let rhs_pos = span.lo() + BytePos::from_usize(eq_idx + 2 + rhs_idx);
325 let rhs_span = span.with_lo(rhs_pos).with_hi(rhs_pos);
326 sugg = Some(errors::ConsiderDereferencing {
327 deref,
328 span: span.shrink_to_lo(),
329 rhs_span,
330 });
331 }
332 }
333 _ => {}
334 }
335 }
336 tcx.dcx().create_err(errors::NonConstOperator {
337 span,
338 kind: ccx.const_kind(),
339 sugg,
340 non_or_conditionally,
341 })
342 };
343
344 note_trait_if_possible(&mut err, self_ty, trait_id);
345 err
346 }
347 CallKind::DerefCoercion { deref_target_span, deref_target_ty, self_ty } => {
348 let target = if let Some(deref_target_span) = deref_target_span
350 && tcx.sess.source_map().is_span_accessible(deref_target_span)
351 {
352 Some(deref_target_span)
353 } else {
354 None
355 };
356
357 let mut err = tcx.dcx().create_err(errors::NonConstDerefCoercion {
358 span,
359 ty: self_ty,
360 kind: ccx.const_kind(),
361 target_ty: deref_target_ty,
362 deref_target: target,
363 non_or_conditionally,
364 });
365
366 note_trait_if_possible(&mut err, self_ty, tcx.require_lang_item(LangItem::Deref, span));
367 err
368 }
369 _ if tcx.opt_parent(callee) == tcx.get_diagnostic_item(sym::FmtArgumentsNew) => {
370 ccx.dcx().create_err(errors::NonConstFmtMacroCall {
371 span,
372 kind: ccx.const_kind(),
373 non_or_conditionally,
374 })
375 }
376 _ => {
377 let def_descr = ccx.tcx.def_descr(callee);
378 let mut err = ccx.dcx().create_err(errors::NonConstFnCall {
379 span,
380 def_descr,
381 def_path_str: ccx.tcx.def_path_str_with_args(callee, args),
382 kind: ccx.const_kind(),
383 non_or_conditionally,
384 });
385 if let Some(item) = ccx.tcx.opt_associated_item(callee) {
386 if let AssocContainer::Trait = item.container
387 && let parent = item.container_id(ccx.tcx)
388 && !ccx.tcx.is_const_trait(parent)
389 {
390 let assoc_span = ccx.tcx.def_span(callee);
391 let assoc_name = ccx.tcx.item_name(callee);
392 let mut span: MultiSpan = ccx.tcx.def_span(parent).into();
393 span.push_span_label(assoc_span, ::alloc::__export::must_use({
::alloc::fmt::format(format_args!("this {0} is not const", def_descr))
})format!("this {def_descr} is not const"));
394 let trait_descr = ccx.tcx.def_descr(parent);
395 let trait_span = ccx.tcx.def_span(parent);
396 let trait_name = ccx.tcx.item_name(parent);
397 span.push_span_label(trait_span, ::alloc::__export::must_use({
::alloc::fmt::format(format_args!("this {0} is not const",
trait_descr))
})format!("this {trait_descr} is not const"));
398 err.span_note(
399 span,
400 ::alloc::__export::must_use({
::alloc::fmt::format(format_args!("{0} `{1}` is not const because {2} `{3}` is not const",
def_descr, assoc_name, trait_descr, trait_name))
})format!(
401 "{def_descr} `{assoc_name}` is not const because {trait_descr} \
402 `{trait_name}` is not const",
403 ),
404 );
405 if let Some(parent) = parent.as_local()
406 && ccx.tcx.sess.is_nightly_build()
407 {
408 if !ccx.tcx.features().const_trait_impl() {
409 err.help(
410 "add `#![feature(const_trait_impl)]` to the crate attributes to \
411 enable const traits",
412 );
413 }
414 let span = ccx.tcx.hir_expect_item(parent).vis_span;
415 let span = ccx.tcx.sess.source_map().span_extend_while_whitespace(span);
416 err.span_suggestion_verbose(
417 span.shrink_to_hi(),
418 ::alloc::__export::must_use({
::alloc::fmt::format(format_args!("consider making trait `{0}` const",
trait_name))
})format!("consider making trait `{trait_name}` const"),
419 "const ".to_owned(),
420 Applicability::MaybeIncorrect,
421 );
422 } else if !ccx.tcx.sess.is_nightly_build() {
423 err.help("const traits are not yet supported on stable Rust");
424 }
425 }
426 } else if ccx.tcx.constness(callee) != hir::Constness::Const {
427 let name = ccx.tcx.item_name(callee);
428 err.span_note(
429 ccx.tcx.def_span(callee),
430 ::alloc::__export::must_use({
::alloc::fmt::format(format_args!("{0} `{1}` is not const", def_descr,
name))
})format!("{def_descr} `{name}` is not const"),
431 );
432 }
433 err
434 }
435 };
436
437 err.note(::alloc::__export::must_use({
::alloc::fmt::format(format_args!("calls in {0}s are limited to constant functions, tuple structs and tuple variants",
ccx.const_kind()))
})format!(
438 "calls in {}s are limited to constant functions, tuple structs and tuple variants",
439 ccx.const_kind(),
440 ));
441
442 err
443}
444
445#[derive(#[automatically_derived]
impl ::core::fmt::Debug for CallUnstable {
#[inline]
fn fmt(&self, f: &mut ::core::fmt::Formatter) -> ::core::fmt::Result {
::core::fmt::Formatter::debug_struct_field5_finish(f, "CallUnstable",
"def_id", &self.def_id, "feature", &self.feature,
"feature_enabled", &self.feature_enabled,
"safe_to_expose_on_stable", &self.safe_to_expose_on_stable,
"is_function_call", &&self.is_function_call)
}
}Debug)]
449pub(crate) struct CallUnstable {
450 pub def_id: DefId,
451 pub feature: Symbol,
452 pub feature_enabled: bool,
455 pub safe_to_expose_on_stable: bool,
456 pub is_function_call: bool,
458}
459
460impl<'tcx> NonConstOp<'tcx> for CallUnstable {
461 fn status_in_item(&self, _ccx: &ConstCx<'_, 'tcx>) -> Status {
462 Status::Unstable {
463 gate: self.feature,
464 gate_already_checked: self.feature_enabled,
465 safe_to_expose_on_stable: self.safe_to_expose_on_stable,
466 is_function_call: self.is_function_call,
467 }
468 }
469
470 fn build_error(&self, ccx: &ConstCx<'_, 'tcx>, span: Span) -> Diag<'tcx> {
471 if !!self.feature_enabled {
::core::panicking::panic("assertion failed: !self.feature_enabled")
};assert!(!self.feature_enabled);
472 let mut err = if self.is_function_call {
473 ccx.dcx().create_err(errors::UnstableConstFn {
474 span,
475 def_path: ccx.tcx.def_path_str(self.def_id),
476 })
477 } else {
478 ccx.dcx().create_err(errors::UnstableConstTrait {
479 span,
480 def_path: ccx.tcx.def_path_str(self.def_id),
481 })
482 };
483 ccx.tcx.disabled_nightly_features(&mut err, [(String::new(), self.feature)]);
484 err
485 }
486}
487
488#[derive(#[automatically_derived]
impl ::core::fmt::Debug for IntrinsicNonConst {
#[inline]
fn fmt(&self, f: &mut ::core::fmt::Formatter) -> ::core::fmt::Result {
::core::fmt::Formatter::debug_struct_field1_finish(f,
"IntrinsicNonConst", "name", &&self.name)
}
}Debug)]
490pub(crate) struct IntrinsicNonConst {
491 pub name: Symbol,
492}
493
494impl<'tcx> NonConstOp<'tcx> for IntrinsicNonConst {
495 fn build_error(&self, ccx: &ConstCx<'_, 'tcx>, span: Span) -> Diag<'tcx> {
496 ccx.dcx().create_err(errors::NonConstIntrinsic {
497 span,
498 name: self.name,
499 kind: ccx.const_kind(),
500 })
501 }
502}
503
504#[derive(#[automatically_derived]
impl ::core::fmt::Debug for IntrinsicUnstable {
#[inline]
fn fmt(&self, f: &mut ::core::fmt::Formatter) -> ::core::fmt::Result {
::core::fmt::Formatter::debug_struct_field3_finish(f,
"IntrinsicUnstable", "name", &self.name, "feature", &self.feature,
"const_stable_indirect", &&self.const_stable_indirect)
}
}Debug)]
506pub(crate) struct IntrinsicUnstable {
507 pub name: Symbol,
508 pub feature: Symbol,
509 pub const_stable_indirect: bool,
510}
511
512impl<'tcx> NonConstOp<'tcx> for IntrinsicUnstable {
513 fn status_in_item(&self, _ccx: &ConstCx<'_, 'tcx>) -> Status {
514 Status::Unstable {
515 gate: self.feature,
516 gate_already_checked: false,
517 safe_to_expose_on_stable: self.const_stable_indirect,
518 is_function_call: false,
521 }
522 }
523
524 fn build_error(&self, ccx: &ConstCx<'_, 'tcx>, span: Span) -> Diag<'tcx> {
525 ccx.dcx().create_err(errors::UnstableIntrinsic {
526 span,
527 name: self.name,
528 feature: self.feature,
529 suggestion: ccx.tcx.crate_level_attribute_injection_span(),
530 })
531 }
532}
533
534#[derive(#[automatically_derived]
impl ::core::fmt::Debug for Coroutine {
#[inline]
fn fmt(&self, f: &mut ::core::fmt::Formatter) -> ::core::fmt::Result {
::core::fmt::Formatter::debug_tuple_field1_finish(f, "Coroutine",
&&self.0)
}
}Debug)]
535pub(crate) struct Coroutine(pub hir::CoroutineKind);
536impl<'tcx> NonConstOp<'tcx> for Coroutine {
537 fn status_in_item(&self, _: &ConstCx<'_, 'tcx>) -> Status {
538 match self.0 {
539 hir::CoroutineKind::Desugared(
540 hir::CoroutineDesugaring::Async,
541 hir::CoroutineSource::Block,
542 )
543 | hir::CoroutineKind::Coroutine(_) => Status::Unstable {
546 gate: sym::const_async_blocks,
547 gate_already_checked: false,
548 safe_to_expose_on_stable: false,
549 is_function_call: false,
550 },
551 _ => Status::Forbidden,
552 }
553 }
554
555 fn build_error(&self, ccx: &ConstCx<'_, 'tcx>, span: Span) -> Diag<'tcx> {
556 let msg = ::alloc::__export::must_use({
::alloc::fmt::format(format_args!("{0} are not allowed in {1}s",
self.0.to_plural_string(), ccx.const_kind()))
})format!("{} are not allowed in {}s", self.0.to_plural_string(), ccx.const_kind());
557 if let Status::Unstable { gate, .. } = self.status_in_item(ccx) {
558 ccx.tcx.sess.create_feature_err(errors::UnallowedOpInConstContext { span, msg }, gate)
559 } else {
560 ccx.dcx().create_err(errors::UnallowedOpInConstContext { span, msg })
561 }
562 }
563}
564
565#[derive(#[automatically_derived]
impl ::core::fmt::Debug for InlineAsm {
#[inline]
fn fmt(&self, f: &mut ::core::fmt::Formatter) -> ::core::fmt::Result {
::core::fmt::Formatter::write_str(f, "InlineAsm")
}
}Debug)]
566pub(crate) struct InlineAsm;
567impl<'tcx> NonConstOp<'tcx> for InlineAsm {
568 fn build_error(&self, ccx: &ConstCx<'_, 'tcx>, span: Span) -> Diag<'tcx> {
569 ccx.dcx().create_err(errors::UnallowedInlineAsm { span, kind: ccx.const_kind() })
570 }
571}
572
573#[derive(#[automatically_derived]
impl<'tcx> ::core::fmt::Debug for LiveDrop<'tcx> {
#[inline]
fn fmt(&self, f: &mut ::core::fmt::Formatter) -> ::core::fmt::Result {
::core::fmt::Formatter::debug_struct_field3_finish(f, "LiveDrop",
"dropped_at", &self.dropped_at, "dropped_ty", &self.dropped_ty,
"needs_non_const_drop", &&self.needs_non_const_drop)
}
}Debug)]
574pub(crate) struct LiveDrop<'tcx> {
575 pub dropped_at: Span,
576 pub dropped_ty: Ty<'tcx>,
577 pub needs_non_const_drop: bool,
578}
579impl<'tcx> NonConstOp<'tcx> for LiveDrop<'tcx> {
580 fn status_in_item(&self, _ccx: &ConstCx<'_, 'tcx>) -> Status {
581 if self.needs_non_const_drop {
582 Status::Forbidden
583 } else {
584 Status::Unstable {
585 gate: sym::const_destruct,
586 gate_already_checked: false,
587 safe_to_expose_on_stable: false,
588 is_function_call: false,
589 }
590 }
591 }
592
593 fn build_error(&self, ccx: &ConstCx<'_, 'tcx>, span: Span) -> Diag<'tcx> {
594 if self.needs_non_const_drop {
595 ccx.dcx().create_err(errors::LiveDrop {
596 span,
597 dropped_ty: self.dropped_ty,
598 kind: ccx.const_kind(),
599 dropped_at: self.dropped_at,
600 })
601 } else {
602 ccx.tcx.sess.create_feature_err(
603 errors::LiveDrop {
604 span,
605 dropped_ty: self.dropped_ty,
606 kind: ccx.const_kind(),
607 dropped_at: self.dropped_at,
608 },
609 sym::const_destruct,
610 )
611 }
612 }
613}
614
615#[derive(#[automatically_derived]
impl ::core::fmt::Debug for EscapingCellBorrow {
#[inline]
fn fmt(&self, f: &mut ::core::fmt::Formatter) -> ::core::fmt::Result {
::core::fmt::Formatter::write_str(f, "EscapingCellBorrow")
}
}Debug)]
616pub(crate) struct EscapingCellBorrow;
620impl<'tcx> NonConstOp<'tcx> for EscapingCellBorrow {
621 fn importance(&self) -> DiagImportance {
622 DiagImportance::Secondary
625 }
626 fn build_error(&self, ccx: &ConstCx<'_, 'tcx>, span: Span) -> Diag<'tcx> {
627 ccx.dcx().create_err(errors::InteriorMutableBorrowEscaping { span, kind: ccx.const_kind() })
628 }
629}
630
631#[derive(#[automatically_derived]
impl ::core::fmt::Debug for EscapingMutBorrow {
#[inline]
fn fmt(&self, f: &mut ::core::fmt::Formatter) -> ::core::fmt::Result {
::core::fmt::Formatter::write_str(f, "EscapingMutBorrow")
}
}Debug)]
632pub(crate) struct EscapingMutBorrow;
636
637impl<'tcx> NonConstOp<'tcx> for EscapingMutBorrow {
638 fn status_in_item(&self, _ccx: &ConstCx<'_, 'tcx>) -> Status {
639 Status::Forbidden
640 }
641
642 fn importance(&self) -> DiagImportance {
643 DiagImportance::Secondary
646 }
647
648 fn build_error(&self, ccx: &ConstCx<'_, 'tcx>, span: Span) -> Diag<'tcx> {
649 ccx.dcx().create_err(errors::MutableBorrowEscaping { span, kind: ccx.const_kind() })
650 }
651}
652
653#[derive(#[automatically_derived]
impl ::core::fmt::Debug for PanicNonStr {
#[inline]
fn fmt(&self, f: &mut ::core::fmt::Formatter) -> ::core::fmt::Result {
::core::fmt::Formatter::write_str(f, "PanicNonStr")
}
}Debug)]
655pub(crate) struct PanicNonStr;
656impl<'tcx> NonConstOp<'tcx> for PanicNonStr {
657 fn build_error(&self, ccx: &ConstCx<'_, 'tcx>, span: Span) -> Diag<'tcx> {
658 ccx.dcx().create_err(errors::PanicNonStrErr { span })
659 }
660}
661
662#[derive(#[automatically_derived]
impl ::core::fmt::Debug for RawPtrComparison {
#[inline]
fn fmt(&self, f: &mut ::core::fmt::Formatter) -> ::core::fmt::Result {
::core::fmt::Formatter::write_str(f, "RawPtrComparison")
}
}Debug)]
666pub(crate) struct RawPtrComparison;
667impl<'tcx> NonConstOp<'tcx> for RawPtrComparison {
668 fn build_error(&self, ccx: &ConstCx<'_, 'tcx>, span: Span) -> Diag<'tcx> {
669 ccx.dcx().create_err(errors::RawPtrComparisonErr { span })
671 }
672}
673
674#[derive(#[automatically_derived]
impl ::core::fmt::Debug for RawPtrToIntCast {
#[inline]
fn fmt(&self, f: &mut ::core::fmt::Formatter) -> ::core::fmt::Result {
::core::fmt::Formatter::write_str(f, "RawPtrToIntCast")
}
}Debug)]
678pub(crate) struct RawPtrToIntCast;
679impl<'tcx> NonConstOp<'tcx> for RawPtrToIntCast {
680 fn build_error(&self, ccx: &ConstCx<'_, 'tcx>, span: Span) -> Diag<'tcx> {
681 ccx.dcx().create_err(errors::RawPtrToIntErr { span })
682 }
683}
684
685#[derive(#[automatically_derived]
impl ::core::fmt::Debug for ThreadLocalAccess {
#[inline]
fn fmt(&self, f: &mut ::core::fmt::Formatter) -> ::core::fmt::Result {
::core::fmt::Formatter::write_str(f, "ThreadLocalAccess")
}
}Debug)]
687pub(crate) struct ThreadLocalAccess;
688impl<'tcx> NonConstOp<'tcx> for ThreadLocalAccess {
689 fn build_error(&self, ccx: &ConstCx<'_, 'tcx>, span: Span) -> Diag<'tcx> {
690 ccx.dcx().create_err(errors::ThreadLocalAccessErr { span })
691 }
692}