1use std::fmt::{self, Debug, Display, Formatter};
2
3use rustc_abi::{HasDataLayout, Size};
4use rustc_hir::def::DefKind;
5use rustc_hir::def_id::DefId;
6use rustc_macros::{Lift, StableHash, TyDecodable, TyEncodable, TypeFoldable, TypeVisitable};
7use rustc_span::{DUMMY_SP, RemapPathScopeComponents, Span, Symbol, bug};
8use rustc_type_ir::TypeVisitableExt;
9
10use super::interpret::ReportedErrorInfo;
11use crate::mir::interpret::{AllocId, AllocRange, ErrorHandled, GlobalAlloc, Scalar, alloc_range};
12use crate::mir::{Promoted, pretty_print_const_value};
13use crate::ty::consts::ConstExt;
14use crate::ty::print::{pretty_print_const, with_no_trimmed_paths};
15use crate::ty::{self, ConstKind, GenericArgsRef, ScalarInt, Ty, TyCtxt};
16
17#[derive(#[automatically_derived]
impl<'tcx> ::core::marker::Copy for ConstAlloc<'tcx> { }Copy, #[automatically_derived]
#[doc(hidden)]
unsafe impl<'tcx> ::core::clone::TrivialClone for ConstAlloc<'tcx> { }
#[automatically_derived]
impl<'tcx> ::core::clone::Clone for ConstAlloc<'tcx> {
#[inline]
fn clone(&self) -> Self {
let _: ::core::clone::AssertParamIsClone<AllocId>;
let _: ::core::clone::AssertParamIsClone<Ty<'tcx>>;
*self
}
}Clone, const _: () =
{
impl<'tcx> ::rustc_data_structures::stable_hash::StableHash for
ConstAlloc<'tcx> {
#[inline]
fn stable_hash<__Hcx: ::rustc_data_structures::stable_hash::StableHashCtxt>(&self,
__hcx: &mut __Hcx,
__hasher:
&mut ::rustc_data_structures::stable_hash::StableHasher) {
match *self {
ConstAlloc { alloc_id: ref __binding_0, ty: ref __binding_1
} => {
{ __binding_0.stable_hash(__hcx, __hasher); }
{ __binding_1.stable_hash(__hcx, __hasher); }
}
}
}
}
};StableHash, const _: () =
{
impl<'tcx, __E: ::rustc_middle::ty::codec::TyEncoder<'tcx>>
::rustc_serialize::Encodable<__E> for ConstAlloc<'tcx> {
fn encode(&self, __encoder: &mut __E) {
let ConstAlloc {
alloc_id: ref __binding_0, ty: ref __binding_1 } = *self;
::rustc_serialize::Encodable::<__E>::encode(__binding_0,
__encoder);
::rustc_serialize::Encodable::<__E>::encode(__binding_1,
__encoder);
}
}
};TyEncodable, const _: () =
{
impl<'tcx, __D: ::rustc_middle::ty::codec::TyDecoder<'tcx>>
::rustc_serialize::Decodable<__D> for ConstAlloc<'tcx> {
fn decode(__decoder: &mut __D) -> Self {
ConstAlloc {
alloc_id: ::rustc_serialize::Decodable::decode(__decoder),
ty: ::rustc_serialize::Decodable::decode(__decoder),
}
}
}
};TyDecodable, #[automatically_derived]
impl<'tcx> ::core::fmt::Debug for ConstAlloc<'tcx> {
#[inline]
fn fmt(&self, f: &mut ::core::fmt::Formatter) -> ::core::fmt::Result {
::core::fmt::Formatter::debug_struct_field2_finish(f, "ConstAlloc",
"alloc_id", &self.alloc_id, "ty", &&self.ty)
}
}Debug, #[automatically_derived]
impl<'tcx> ::core::cmp::Eq for ConstAlloc<'tcx> {
#[inline]
#[doc(hidden)]
#[coverage(off)]
fn assert_fields_are_eq(&self) {
let _: ::core::cmp::AssertParamIsEq<AllocId>;
let _: ::core::cmp::AssertParamIsEq<Ty<'tcx>>;
}
}Eq, #[automatically_derived]
impl<'tcx> ::core::marker::StructuralPartialEq for ConstAlloc<'tcx> { }
#[automatically_derived]
impl<'tcx> ::core::cmp::PartialEq for ConstAlloc<'tcx> {
#[inline]
fn eq(&self, other: &Self) -> bool {
self.alloc_id == other.alloc_id && self.ty == other.ty
}
}PartialEq)]
24pub struct ConstAlloc<'tcx> {
25 pub alloc_id: AllocId,
28 pub ty: Ty<'tcx>,
29}
30
31#[derive(#[automatically_derived]
impl ::core::marker::Copy for ConstValue { }Copy, #[automatically_derived]
#[doc(hidden)]
unsafe impl ::core::clone::TrivialClone for ConstValue { }
#[automatically_derived]
impl ::core::clone::Clone for ConstValue {
#[inline]
fn clone(&self) -> Self {
let _: ::core::clone::AssertParamIsClone<Scalar>;
let _: ::core::clone::AssertParamIsClone<AllocId>;
let _: ::core::clone::AssertParamIsClone<u64>;
let _: ::core::clone::AssertParamIsClone<Size>;
*self
}
}Clone, #[automatically_derived]
impl ::core::fmt::Debug for ConstValue {
#[inline]
fn fmt(&self, f: &mut ::core::fmt::Formatter) -> ::core::fmt::Result {
match self {
Self::Scalar(__self_0) =>
::core::fmt::Formatter::debug_tuple_field1_finish(f, "Scalar",
&__self_0),
Self::ZeroSized =>
::core::fmt::Formatter::write_str(f, "ZeroSized"),
Self::Slice { alloc_id: __self_0, meta: __self_1 } =>
::core::fmt::Formatter::debug_struct_field2_finish(f, "Slice",
"alloc_id", __self_0, "meta", &__self_1),
Self::Indirect { alloc_id: __self_0, offset: __self_1 } =>
::core::fmt::Formatter::debug_struct_field2_finish(f,
"Indirect", "alloc_id", __self_0, "offset", &__self_1),
}
}
}Debug, #[automatically_derived]
impl ::core::cmp::Eq for ConstValue {
#[inline]
#[doc(hidden)]
#[coverage(off)]
fn assert_fields_are_eq(&self) {
let _: ::core::cmp::AssertParamIsEq<Scalar>;
let _: ::core::cmp::AssertParamIsEq<AllocId>;
let _: ::core::cmp::AssertParamIsEq<u64>;
let _: ::core::cmp::AssertParamIsEq<Size>;
}
}Eq, #[automatically_derived]
impl ::core::marker::StructuralPartialEq for ConstValue { }
#[automatically_derived]
impl ::core::cmp::PartialEq for ConstValue {
#[inline]
fn eq(&self, other: &Self) -> bool {
::core::intrinsics::discriminant_value(self) ==
::core::intrinsics::discriminant_value(other) &&
match (self, other) {
(Self::Scalar(__self_0), Self::Scalar(__arg1_0)) =>
__self_0 == __arg1_0,
(Self::Slice { alloc_id: __self_0, meta: __self_1 },
Self::Slice { alloc_id: __arg1_0, meta: __arg1_1 }) =>
__self_1 == __arg1_1 && __self_0 == __arg1_0,
(Self::Indirect { alloc_id: __self_0, offset: __self_1 },
Self::Indirect { alloc_id: __arg1_0, offset: __arg1_1 }) =>
__self_0 == __arg1_0 && __self_1 == __arg1_1,
_ => true,
}
}
}PartialEq, const _: () =
{
impl<'tcx, __E: ::rustc_middle::ty::codec::TyEncoder<'tcx>>
::rustc_serialize::Encodable<__E> for ConstValue {
fn encode(&self, __encoder: &mut __E) {
let disc =
match *self {
ConstValue::Scalar(ref __binding_0) => { 0usize }
ConstValue::ZeroSized => { 1usize }
ConstValue::Slice {
alloc_id: ref __binding_0, meta: ref __binding_1 } => {
2usize
}
ConstValue::Indirect {
alloc_id: ref __binding_0, offset: ref __binding_1 } => {
3usize
}
};
::rustc_serialize::Encoder::emit_u8(__encoder, disc as u8);
match *self {
ConstValue::Scalar(ref __binding_0) => {
::rustc_serialize::Encodable::<__E>::encode(__binding_0,
__encoder);
}
ConstValue::ZeroSized => {}
ConstValue::Slice {
alloc_id: ref __binding_0, meta: ref __binding_1 } => {
::rustc_serialize::Encodable::<__E>::encode(__binding_0,
__encoder);
::rustc_serialize::Encodable::<__E>::encode(__binding_1,
__encoder);
}
ConstValue::Indirect {
alloc_id: ref __binding_0, offset: ref __binding_1 } => {
::rustc_serialize::Encodable::<__E>::encode(__binding_0,
__encoder);
::rustc_serialize::Encodable::<__E>::encode(__binding_1,
__encoder);
}
}
}
}
};TyEncodable, const _: () =
{
impl<'tcx, __D: ::rustc_middle::ty::codec::TyDecoder<'tcx>>
::rustc_serialize::Decodable<__D> for ConstValue {
fn decode(__decoder: &mut __D) -> Self {
match ::rustc_serialize::Decoder::read_u8(__decoder) as usize
{
0usize => {
ConstValue::Scalar(::rustc_serialize::Decodable::decode(__decoder))
}
1usize => { ConstValue::ZeroSized }
2usize => {
ConstValue::Slice {
alloc_id: ::rustc_serialize::Decodable::decode(__decoder),
meta: ::rustc_serialize::Decodable::decode(__decoder),
}
}
3usize => {
ConstValue::Indirect {
alloc_id: ::rustc_serialize::Decodable::decode(__decoder),
offset: ::rustc_serialize::Decodable::decode(__decoder),
}
}
n => {
::core::panicking::panic_fmt(format_args!("invalid enum variant tag while decoding `ConstValue`, expected 0..4, actual {0}",
n));
}
}
}
}
};TyDecodable, #[automatically_derived]
impl ::core::hash::Hash for ConstValue {
#[inline]
fn hash<__H: ::core::hash::Hasher>(&self, state: &mut __H) {
::core::hash::Hash::hash(&::core::intrinsics::discriminant_value(self),
state);
match self {
Self::Scalar(__self_0) =>
::core::hash::Hash::hash(__self_0, state),
Self::Slice { alloc_id: __self_0, meta: __self_1 } => {
::core::hash::Hash::hash(__self_0, state);
::core::hash::Hash::hash(__self_1, state)
}
Self::Indirect { alloc_id: __self_0, offset: __self_1 } => {
::core::hash::Hash::hash(__self_0, state);
::core::hash::Hash::hash(__self_1, state)
}
_ => {}
}
}
}Hash)]
34#[derive(const _: () =
{
impl ::rustc_data_structures::stable_hash::StableHash for ConstValue {
#[inline]
fn stable_hash<__Hcx: ::rustc_data_structures::stable_hash::StableHashCtxt>(&self,
__hcx: &mut __Hcx,
__hasher:
&mut ::rustc_data_structures::stable_hash::StableHasher) {
::std::mem::discriminant(self).stable_hash(__hcx, __hasher);
match *self {
ConstValue::Scalar(ref __binding_0) => {
{ __binding_0.stable_hash(__hcx, __hasher); }
}
ConstValue::ZeroSized => {}
ConstValue::Slice {
alloc_id: ref __binding_0, meta: ref __binding_1 } => {
{ __binding_0.stable_hash(__hcx, __hasher); }
{ __binding_1.stable_hash(__hcx, __hasher); }
}
ConstValue::Indirect {
alloc_id: ref __binding_0, offset: ref __binding_1 } => {
{ __binding_0.stable_hash(__hcx, __hasher); }
{ __binding_1.stable_hash(__hcx, __hasher); }
}
}
}
}
};StableHash)]
35pub enum ConstValue {
36 Scalar(Scalar),
40
41 ZeroSized,
43
44 Slice {
51 alloc_id: AllocId,
54 meta: u64,
57 },
58
59 Indirect {
63 alloc_id: AllocId,
70 offset: Size,
72 },
73}
74
75#[cfg(target_pointer_width = "64")]
76const _: [(); 24] = [(); ::std::mem::size_of::<ConstValue>()];rustc_data_structures::static_assert_size!(ConstValue, 24);
77
78impl ConstValue {
79 #[inline]
80 pub fn try_to_scalar(&self) -> Option<Scalar> {
81 match *self {
82 ConstValue::Indirect { .. } | ConstValue::Slice { .. } | ConstValue::ZeroSized => None,
83 ConstValue::Scalar(val) => Some(val),
84 }
85 }
86
87 pub fn try_to_scalar_int(&self) -> Option<ScalarInt> {
88 self.try_to_scalar()?.try_to_scalar_int().ok()
89 }
90
91 pub fn try_to_bits(&self, size: Size) -> Option<u128> {
92 Some(self.try_to_scalar_int()?.to_bits(size))
93 }
94
95 pub fn try_to_bool(&self) -> Option<bool> {
96 self.try_to_scalar_int()?.try_into().ok()
97 }
98
99 pub fn try_to_target_usize(&self, tcx: TyCtxt<'_>) -> Option<u64> {
100 Some(self.try_to_scalar_int()?.to_target_usize(tcx))
101 }
102
103 pub fn try_to_bits_for_ty<'tcx>(
104 &self,
105 tcx: TyCtxt<'tcx>,
106 typing_env: ty::TypingEnv<'tcx>,
107 ty: Ty<'tcx>,
108 ) -> Option<u128> {
109 let size = tcx
110 .layout_of(typing_env.with_post_analysis_normalized(tcx).as_query_input(ty))
111 .ok()?
112 .size;
113 self.try_to_bits(size)
114 }
115
116 pub fn from_bool(b: bool) -> Self {
117 ConstValue::Scalar(Scalar::from_bool(b))
118 }
119
120 pub fn from_u64(i: u64) -> Self {
121 ConstValue::Scalar(Scalar::from_u64(i))
122 }
123
124 pub fn from_u128(i: u128) -> Self {
125 ConstValue::Scalar(Scalar::from_u128(i))
126 }
127
128 pub fn from_target_usize(i: u64, cx: &impl HasDataLayout) -> Self {
129 ConstValue::Scalar(Scalar::from_target_usize(i, cx))
130 }
131
132 pub fn try_get_slice_bytes_for_diagnostics<'tcx>(
134 &self,
135 tcx: TyCtxt<'tcx>,
136 ) -> Option<&'tcx [u8]> {
137 let (alloc_id, start, len) = match self {
138 ConstValue::Scalar(_) | ConstValue::ZeroSized => {
139 ::rustc_span::macros::bug_impl(None,
format_args!("`try_get_slice_bytes` on non-slice constant"),
Location::caller())bug!("`try_get_slice_bytes` on non-slice constant")
140 }
141 &ConstValue::Slice { alloc_id, meta } => (alloc_id, 0, meta),
142 &ConstValue::Indirect { alloc_id, offset } => {
143 let a = tcx.global_alloc(alloc_id).unwrap_memory().inner();
146 let ptr_size = tcx.data_layout.pointer_size();
147 if a.size() < offset + 2 * ptr_size {
148 return None;
150 }
151 let ptr = a
153 .read_scalar(
154 &tcx,
155 alloc_range(offset, ptr_size),
156 true,
157 )
158 .ok()?;
159 let ptr = ptr.to_pointer(&tcx);
160 let len = a
161 .read_scalar(
162 &tcx,
163 alloc_range(offset + ptr_size, ptr_size),
164 false,
165 )
166 .ok()?;
167 let len = len.to_target_usize(&tcx).discard_err()?;
168 if len == 0 {
169 return Some(&[]);
170 }
171 let (inner_prov, offset) =
173 ptr.into_pointer_or_addr().ok()?.prov_and_relative_offset();
174 (inner_prov.alloc_id(), offset.bytes(), len)
175 }
176 };
177
178 let data = tcx.global_alloc(alloc_id).unwrap_memory();
179
180 let start = start.try_into().unwrap();
182 let end = start + usize::try_from(len).unwrap();
183 Some(data.inner().inspect_with_uninit_and_ptr_outside_interpreter(start..end))
184 }
185
186 pub fn all_bytes_uninit(&self, tcx: TyCtxt<'_>) -> bool {
188 let ConstValue::Indirect { alloc_id, .. } = self else {
189 return false;
190 };
191 let alloc = tcx.global_alloc(*alloc_id);
192 let GlobalAlloc::Memory(alloc) = alloc else {
193 return false;
194 };
195 let init_mask = alloc.0.init_mask();
196 let init_range = init_mask.is_range_initialized(AllocRange {
197 start: Size::ZERO,
198 size: Size::from_bytes(alloc.0.len()),
199 });
200 if let Err(range) = init_range {
201 if range.size == alloc.0.size() {
202 return true;
203 }
204 }
205 false
206 }
207}
208
209#[derive(#[automatically_derived]
#[doc(hidden)]
unsafe impl<'tcx> ::core::clone::TrivialClone for Const<'tcx> { }
#[automatically_derived]
impl<'tcx> ::core::clone::Clone for Const<'tcx> {
#[inline]
fn clone(&self) -> Self {
let _: ::core::clone::AssertParamIsClone<Ty<'tcx>>;
let _: ::core::clone::AssertParamIsClone<ty::Const<'tcx>>;
let _: ::core::clone::AssertParamIsClone<UnevaluatedConst<'tcx>>;
let _: ::core::clone::AssertParamIsClone<Ty<'tcx>>;
let _: ::core::clone::AssertParamIsClone<ConstValue>;
let _: ::core::clone::AssertParamIsClone<Ty<'tcx>>;
*self
}
}Clone, #[automatically_derived]
impl<'tcx> ::core::marker::Copy for Const<'tcx> { }Copy, #[automatically_derived]
impl<'tcx> ::core::marker::StructuralPartialEq for Const<'tcx> { }
#[automatically_derived]
impl<'tcx> ::core::cmp::PartialEq for Const<'tcx> {
#[inline]
fn eq(&self, other: &Self) -> bool {
::core::intrinsics::discriminant_value(self) ==
::core::intrinsics::discriminant_value(other) &&
match (self, other) {
(Self::Ty(__self_0, __self_1), Self::Ty(__arg1_0, __arg1_1))
=> __self_0 == __arg1_0 && __self_1 == __arg1_1,
(Self::Unevaluated(__self_0, __self_1),
Self::Unevaluated(__arg1_0, __arg1_1)) =>
__self_0 == __arg1_0 && __self_1 == __arg1_1,
(Self::Val(__self_0, __self_1), Self::Val(__arg1_0, __arg1_1))
=> __self_0 == __arg1_0 && __self_1 == __arg1_1,
_ => unsafe { ::core::intrinsics::unreachable() }
}
}
}PartialEq, #[automatically_derived]
impl<'tcx> ::core::cmp::Eq for Const<'tcx> {
#[inline]
#[doc(hidden)]
#[coverage(off)]
fn assert_fields_are_eq(&self) {
let _: ::core::cmp::AssertParamIsEq<Ty<'tcx>>;
let _: ::core::cmp::AssertParamIsEq<ty::Const<'tcx>>;
let _: ::core::cmp::AssertParamIsEq<UnevaluatedConst<'tcx>>;
let _: ::core::cmp::AssertParamIsEq<Ty<'tcx>>;
let _: ::core::cmp::AssertParamIsEq<ConstValue>;
let _: ::core::cmp::AssertParamIsEq<Ty<'tcx>>;
}
}Eq, const _: () =
{
impl<'tcx, __E: ::rustc_middle::ty::codec::TyEncoder<'tcx>>
::rustc_serialize::Encodable<__E> for Const<'tcx> {
fn encode(&self, __encoder: &mut __E) {
let disc =
match *self {
Const::Ty(ref __binding_0, ref __binding_1) => { 0usize }
Const::Unevaluated(ref __binding_0, ref __binding_1) => {
1usize
}
Const::Val(ref __binding_0, ref __binding_1) => { 2usize }
};
::rustc_serialize::Encoder::emit_u8(__encoder, disc as u8);
match *self {
Const::Ty(ref __binding_0, ref __binding_1) => {
::rustc_serialize::Encodable::<__E>::encode(__binding_0,
__encoder);
::rustc_serialize::Encodable::<__E>::encode(__binding_1,
__encoder);
}
Const::Unevaluated(ref __binding_0, ref __binding_1) => {
::rustc_serialize::Encodable::<__E>::encode(__binding_0,
__encoder);
::rustc_serialize::Encodable::<__E>::encode(__binding_1,
__encoder);
}
Const::Val(ref __binding_0, ref __binding_1) => {
::rustc_serialize::Encodable::<__E>::encode(__binding_0,
__encoder);
::rustc_serialize::Encodable::<__E>::encode(__binding_1,
__encoder);
}
}
}
}
};TyEncodable, const _: () =
{
impl<'tcx, __D: ::rustc_middle::ty::codec::TyDecoder<'tcx>>
::rustc_serialize::Decodable<__D> for Const<'tcx> {
fn decode(__decoder: &mut __D) -> Self {
match ::rustc_serialize::Decoder::read_u8(__decoder) as usize
{
0usize => {
Const::Ty(::rustc_serialize::Decodable::decode(__decoder),
::rustc_serialize::Decodable::decode(__decoder))
}
1usize => {
Const::Unevaluated(::rustc_serialize::Decodable::decode(__decoder),
::rustc_serialize::Decodable::decode(__decoder))
}
2usize => {
Const::Val(::rustc_serialize::Decodable::decode(__decoder),
::rustc_serialize::Decodable::decode(__decoder))
}
n => {
::core::panicking::panic_fmt(format_args!("invalid enum variant tag while decoding `Const`, expected 0..3, actual {0}",
n));
}
}
}
}
};TyDecodable, #[automatically_derived]
impl<'tcx> ::core::hash::Hash for Const<'tcx> {
#[inline]
fn hash<__H: ::core::hash::Hasher>(&self, state: &mut __H) {
::core::hash::Hash::hash(&::core::intrinsics::discriminant_value(self),
state);
match self {
Self::Ty(__self_0, __self_1) => {
::core::hash::Hash::hash(__self_0, state);
::core::hash::Hash::hash(__self_1, state)
}
Self::Unevaluated(__self_0, __self_1) => {
::core::hash::Hash::hash(__self_0, state);
::core::hash::Hash::hash(__self_1, state)
}
Self::Val(__self_0, __self_1) => {
::core::hash::Hash::hash(__self_0, state);
::core::hash::Hash::hash(__self_1, state)
}
}
}
}Hash, const _: () =
{
impl<'tcx> ::rustc_data_structures::stable_hash::StableHash for
Const<'tcx> {
#[inline]
fn stable_hash<__Hcx: ::rustc_data_structures::stable_hash::StableHashCtxt>(&self,
__hcx: &mut __Hcx,
__hasher:
&mut ::rustc_data_structures::stable_hash::StableHasher) {
::std::mem::discriminant(self).stable_hash(__hcx, __hasher);
match *self {
Const::Ty(ref __binding_0, ref __binding_1) => {
{ __binding_0.stable_hash(__hcx, __hasher); }
{ __binding_1.stable_hash(__hcx, __hasher); }
}
Const::Unevaluated(ref __binding_0, ref __binding_1) => {
{ __binding_0.stable_hash(__hcx, __hasher); }
{ __binding_1.stable_hash(__hcx, __hasher); }
}
Const::Val(ref __binding_0, ref __binding_1) => {
{ __binding_0.stable_hash(__hcx, __hasher); }
{ __binding_1.stable_hash(__hcx, __hasher); }
}
}
}
}
};StableHash, #[automatically_derived]
impl<'tcx> ::core::fmt::Debug for Const<'tcx> {
#[inline]
fn fmt(&self, f: &mut ::core::fmt::Formatter) -> ::core::fmt::Result {
match self {
Self::Ty(__self_0, __self_1) =>
::core::fmt::Formatter::debug_tuple_field2_finish(f, "Ty",
__self_0, &__self_1),
Self::Unevaluated(__self_0, __self_1) =>
::core::fmt::Formatter::debug_tuple_field2_finish(f,
"Unevaluated", __self_0, &__self_1),
Self::Val(__self_0, __self_1) =>
::core::fmt::Formatter::debug_tuple_field2_finish(f, "Val",
__self_0, &__self_1),
}
}
}Debug)]
213#[derive(const _: () =
{
impl<'tcx>
::rustc_middle::ty::TypeFoldable<::rustc_middle::ty::TyCtxt<'tcx>>
for Const<'tcx> {
fn try_fold_with<__F: ::rustc_middle::ty::FallibleTypeFolder<::rustc_middle::ty::TyCtxt<'tcx>>>(self,
__folder: &mut __F) -> Result<Self, __F::Error> {
Ok(match self {
Const::Ty(__binding_0, __binding_1) => {
Const::Ty(::rustc_middle::ty::TypeFoldable::try_fold_with(__binding_0,
__folder)?,
::rustc_middle::ty::TypeFoldable::try_fold_with(__binding_1,
__folder)?)
}
Const::Unevaluated(__binding_0, __binding_1) => {
Const::Unevaluated(::rustc_middle::ty::TypeFoldable::try_fold_with(__binding_0,
__folder)?,
::rustc_middle::ty::TypeFoldable::try_fold_with(__binding_1,
__folder)?)
}
Const::Val(__binding_0, __binding_1) => {
Const::Val(::rustc_middle::ty::TypeFoldable::try_fold_with(__binding_0,
__folder)?,
::rustc_middle::ty::TypeFoldable::try_fold_with(__binding_1,
__folder)?)
}
})
}
fn fold_with<__F: ::rustc_middle::ty::TypeFolder<::rustc_middle::ty::TyCtxt<'tcx>>>(self,
__folder: &mut __F) -> Self {
match self {
Const::Ty(__binding_0, __binding_1) => {
Const::Ty(::rustc_middle::ty::TypeFoldable::fold_with(__binding_0,
__folder),
::rustc_middle::ty::TypeFoldable::fold_with(__binding_1,
__folder))
}
Const::Unevaluated(__binding_0, __binding_1) => {
Const::Unevaluated(::rustc_middle::ty::TypeFoldable::fold_with(__binding_0,
__folder),
::rustc_middle::ty::TypeFoldable::fold_with(__binding_1,
__folder))
}
Const::Val(__binding_0, __binding_1) => {
Const::Val(::rustc_middle::ty::TypeFoldable::fold_with(__binding_0,
__folder),
::rustc_middle::ty::TypeFoldable::fold_with(__binding_1,
__folder))
}
}
}
}
};TypeFoldable, const _: () =
{
impl<'tcx>
::rustc_middle::ty::TypeVisitable<::rustc_middle::ty::TyCtxt<'tcx>>
for Const<'tcx> {
fn visit_with<__V: ::rustc_middle::ty::TypeVisitor<::rustc_middle::ty::TyCtxt<'tcx>>>(&self,
__visitor: &mut __V) -> __V::Result {
match *self {
Const::Ty(ref __binding_0, ref __binding_1) => {
{
match ::rustc_middle::ty::VisitorResult::branch(::rustc_middle::ty::TypeVisitable::visit_with(__binding_0,
__visitor)) {
::core::ops::ControlFlow::Continue(()) => {}
::core::ops::ControlFlow::Break(r) => {
return ::rustc_middle::ty::VisitorResult::from_residual(r);
}
}
}
{
match ::rustc_middle::ty::VisitorResult::branch(::rustc_middle::ty::TypeVisitable::visit_with(__binding_1,
__visitor)) {
::core::ops::ControlFlow::Continue(()) => {}
::core::ops::ControlFlow::Break(r) => {
return ::rustc_middle::ty::VisitorResult::from_residual(r);
}
}
}
}
Const::Unevaluated(ref __binding_0, ref __binding_1) => {
{
match ::rustc_middle::ty::VisitorResult::branch(::rustc_middle::ty::TypeVisitable::visit_with(__binding_0,
__visitor)) {
::core::ops::ControlFlow::Continue(()) => {}
::core::ops::ControlFlow::Break(r) => {
return ::rustc_middle::ty::VisitorResult::from_residual(r);
}
}
}
{
match ::rustc_middle::ty::VisitorResult::branch(::rustc_middle::ty::TypeVisitable::visit_with(__binding_1,
__visitor)) {
::core::ops::ControlFlow::Continue(()) => {}
::core::ops::ControlFlow::Break(r) => {
return ::rustc_middle::ty::VisitorResult::from_residual(r);
}
}
}
}
Const::Val(ref __binding_0, ref __binding_1) => {
{
match ::rustc_middle::ty::VisitorResult::branch(::rustc_middle::ty::TypeVisitable::visit_with(__binding_0,
__visitor)) {
::core::ops::ControlFlow::Continue(()) => {}
::core::ops::ControlFlow::Break(r) => {
return ::rustc_middle::ty::VisitorResult::from_residual(r);
}
}
}
{
match ::rustc_middle::ty::VisitorResult::branch(::rustc_middle::ty::TypeVisitable::visit_with(__binding_1,
__visitor)) {
::core::ops::ControlFlow::Continue(()) => {}
::core::ops::ControlFlow::Break(r) => {
return ::rustc_middle::ty::VisitorResult::from_residual(r);
}
}
}
}
}
<__V::Result as ::rustc_middle::ty::VisitorResult>::output()
}
}
};TypeVisitable, const _: () =
{
impl<'tcx, '__lifted>
::rustc_middle::ty::Lift<::rustc_middle::ty::TyCtxt<'__lifted>>
for Const<'tcx> {
type Lifted = Const<'__lifted>;
fn lift_to_interner(self,
__tcx: ::rustc_middle::ty::TyCtxt<'__lifted>)
-> Const<'__lifted> {
match self {
Const::Ty(__binding_0, __binding_1) => {
Const::Ty(__tcx.lift(__binding_0), __tcx.lift(__binding_1))
}
Const::Unevaluated(__binding_0, __binding_1) => {
Const::Unevaluated(__tcx.lift(__binding_0),
__tcx.lift(__binding_1))
}
Const::Val(__binding_0, __binding_1) => {
Const::Val(__tcx.lift(__binding_0), __tcx.lift(__binding_1))
}
}
}
}
};Lift)]
214pub enum Const<'tcx> {
215 Ty(Ty<'tcx>, ty::Const<'tcx>),
223
224 Unevaluated(UnevaluatedConst<'tcx>, Ty<'tcx>),
231
232 Val(ConstValue, Ty<'tcx>),
235}
236
237impl<'tcx> Const<'tcx> {
238 pub fn from_unevaluated(
241 tcx: TyCtxt<'tcx>,
242 def_id: DefId,
243 ) -> ty::EarlyBinder<'tcx, Const<'tcx>> {
244 ty::EarlyBinder::bind(
245 tcx,
246 Const::Unevaluated(
247 UnevaluatedConst {
248 def: def_id,
249 args: ty::GenericArgs::identity_for_item(tcx, def_id),
250 promoted: None,
251 },
252 tcx.type_of(def_id).skip_binder(),
253 ),
254 )
255 }
256
257 #[inline(always)]
258 pub fn ty(&self) -> Ty<'tcx> {
259 match self {
260 Const::Ty(ty, ct) => {
261 match ct.kind() {
262 ty::ConstKind::Value(cv) => cv.ty,
266 _ => *ty,
267 }
268 }
269 Const::Val(_, ty) | Const::Unevaluated(_, ty) => *ty,
270 }
271 }
272
273 #[inline]
276 pub fn is_required_const(&self) -> bool {
277 match self {
278 Const::Ty(_, c) => match c.kind() {
279 ty::ConstKind::Value(_) => false, _ => true,
281 },
282 Const::Val(..) => false, Const::Unevaluated(..) => true,
284 }
285 }
286
287 #[inline]
288 pub fn try_to_scalar(self) -> Option<Scalar> {
289 match self {
290 Const::Ty(_, c) => c.try_to_scalar(),
291 Const::Val(val, _) => val.try_to_scalar(),
292 Const::Unevaluated(..) => None,
293 }
294 }
295
296 #[inline]
297 pub fn try_to_scalar_int(self) -> Option<ScalarInt> {
298 match self {
300 Const::Val(ConstValue::Scalar(Scalar::Int(x)), _) => Some(x),
301 Const::Ty(_, c) => c.try_to_leaf(),
302 _ => None,
303 }
304 }
305
306 #[inline]
307 pub fn try_to_bits(self, size: Size) -> Option<u128> {
308 Some(self.try_to_scalar_int()?.to_bits(size))
309 }
310
311 #[inline]
312 pub fn try_to_bool(self) -> Option<bool> {
313 self.try_to_scalar_int()?.try_into().ok()
314 }
315
316 #[inline]
317 pub fn eval(
318 self,
319 tcx: TyCtxt<'tcx>,
320 typing_env: ty::TypingEnv<'tcx>,
321 span: Span,
322 ) -> Result<ConstValue, ErrorHandled> {
323 match self {
324 Const::Ty(_, c) => {
325 if let Err(e) = c.error_reported() {
326 return Err(ReportedErrorInfo::non_const_eval_error(e).into());
327 }
328
329 if c.has_non_region_param() || c.has_non_region_placeholders() {
332 return Err(ErrorHandled::TooGeneric(span));
333 }
334
335 match c.kind() {
336 ConstKind::Value(cv) => Ok(tcx.valtree_to_const_val(cv)),
337 ConstKind::Expr(_) => {
338 ::rustc_span::macros::bug_impl(None,
format_args!("Normalization of `ty::ConstKind::Expr` is unimplemented"),
Location::caller())bug!("Normalization of `ty::ConstKind::Expr` is unimplemented")
339 }
340 _ => Err(ReportedErrorInfo::non_const_eval_error(
341 tcx.dcx().delayed_bug("Unevaluated `ty::Const` in MIR body"),
342 )
343 .into()),
344 }
345 }
346 Const::Unevaluated(uneval, _) => {
347 tcx.const_eval_resolve(typing_env, uneval, span)
349 }
350 Const::Val(val, _ty) => Ok(val),
351 }
352 }
353
354 #[inline]
355 pub fn try_eval_scalar(
356 self,
357 tcx: TyCtxt<'tcx>,
358 typing_env: ty::TypingEnv<'tcx>,
359 ) -> Option<Scalar> {
360 if let Const::Ty(_, c) = self {
361 c.try_to_scalar()
364 } else {
365 self.eval(tcx, typing_env, DUMMY_SP).ok()?.try_to_scalar()
366 }
367 }
368
369 #[inline]
370 pub fn try_eval_scalar_int(
371 self,
372 tcx: TyCtxt<'tcx>,
373 typing_env: ty::TypingEnv<'tcx>,
374 ) -> Option<ScalarInt> {
375 self.try_eval_scalar(tcx, typing_env)?.try_to_scalar_int().ok()
376 }
377
378 #[inline]
379 pub fn try_eval_bits(
380 &self,
381 tcx: TyCtxt<'tcx>,
382 typing_env: ty::TypingEnv<'tcx>,
383 ) -> Option<u128> {
384 let int = self.try_eval_scalar_int(tcx, typing_env)?;
385 let size = tcx
386 .layout_of(typing_env.with_post_analysis_normalized(tcx).as_query_input(self.ty()))
387 .ok()?
388 .size;
389 Some(int.to_bits(size))
390 }
391
392 #[inline]
394 pub fn eval_bits(self, tcx: TyCtxt<'tcx>, typing_env: ty::TypingEnv<'tcx>) -> u128 {
395 self.try_eval_bits(tcx, typing_env)
396 .unwrap_or_else(|| ::rustc_span::macros::bug_impl(None,
format_args!("expected bits of {0:#?}, got {1:#?}", self.ty(), self),
Location::caller())bug!("expected bits of {:#?}, got {:#?}", self.ty(), self))
397 }
398
399 #[inline]
400 pub fn try_eval_target_usize(
401 self,
402 tcx: TyCtxt<'tcx>,
403 typing_env: ty::TypingEnv<'tcx>,
404 ) -> Option<u64> {
405 Some(self.try_eval_scalar_int(tcx, typing_env)?.to_target_usize(tcx))
406 }
407
408 #[inline]
409 pub fn eval_target_usize(self, tcx: TyCtxt<'tcx>, typing_env: ty::TypingEnv<'tcx>) -> u64 {
411 self.try_eval_target_usize(tcx, typing_env)
412 .unwrap_or_else(|| ::rustc_span::macros::bug_impl(None,
format_args!("expected usize, got {0:#?}", self), Location::caller())bug!("expected usize, got {:#?}", self))
413 }
414
415 #[inline]
416 pub fn try_eval_bool(self, tcx: TyCtxt<'tcx>, typing_env: ty::TypingEnv<'tcx>) -> Option<bool> {
417 self.try_eval_scalar_int(tcx, typing_env)?.try_into().ok()
418 }
419
420 #[inline]
421 pub fn from_value(val: ConstValue, ty: Ty<'tcx>) -> Self {
422 Self::Val(val, ty)
423 }
424
425 #[inline]
426 pub fn from_ty_value(tcx: TyCtxt<'tcx>, val: ty::Value<'tcx>) -> Self {
427 Self::Ty(val.ty, ty::Const::new_value(tcx, val.valtree, val.ty))
428 }
429
430 pub fn from_bits(
431 tcx: TyCtxt<'tcx>,
432 bits: u128,
433 typing_env: ty::TypingEnv<'tcx>,
434 ty: Ty<'tcx>,
435 ) -> Self {
436 let size = tcx
437 .layout_of(typing_env.as_query_input(ty))
438 .unwrap_or_else(|e| ::rustc_span::macros::bug_impl(None,
format_args!("could not compute layout for {0:?}: {1:?}", ty, e),
Location::caller())bug!("could not compute layout for {ty:?}: {e:?}"))
439 .size;
440 let cv = ConstValue::Scalar(Scalar::from_uint(bits, size));
441
442 Self::Val(cv, ty)
443 }
444
445 #[inline]
446 pub fn from_bool(tcx: TyCtxt<'tcx>, v: bool) -> Self {
447 let cv = ConstValue::from_bool(v);
448 Self::Val(cv, tcx.types.bool)
449 }
450
451 #[inline]
452 pub fn zero_sized(ty: Ty<'tcx>) -> Self {
453 let cv = ConstValue::ZeroSized;
454 Self::Val(cv, ty)
455 }
456
457 pub fn from_usize(tcx: TyCtxt<'tcx>, n: u64) -> Self {
458 let ty = tcx.types.usize;
459 let typing_env = ty::TypingEnv::fully_monomorphized();
460 Self::from_bits(tcx, n as u128, typing_env, ty)
461 }
462
463 #[inline]
464 pub fn from_scalar(_tcx: TyCtxt<'tcx>, s: Scalar, ty: Ty<'tcx>) -> Self {
465 let val = ConstValue::Scalar(s);
466 Self::Val(val, ty)
467 }
468}
469
470#[derive(#[automatically_derived]
impl<'tcx> ::core::marker::Copy for UnevaluatedConst<'tcx> { }Copy, #[automatically_derived]
#[doc(hidden)]
unsafe impl<'tcx> ::core::clone::TrivialClone for UnevaluatedConst<'tcx> { }
#[automatically_derived]
impl<'tcx> ::core::clone::Clone for UnevaluatedConst<'tcx> {
#[inline]
fn clone(&self) -> Self {
let _: ::core::clone::AssertParamIsClone<DefId>;
let _: ::core::clone::AssertParamIsClone<GenericArgsRef<'tcx>>;
let _: ::core::clone::AssertParamIsClone<Option<Promoted>>;
*self
}
}Clone, #[automatically_derived]
impl<'tcx> ::core::fmt::Debug for UnevaluatedConst<'tcx> {
#[inline]
fn fmt(&self, f: &mut ::core::fmt::Formatter) -> ::core::fmt::Result {
::core::fmt::Formatter::debug_struct_field3_finish(f,
"UnevaluatedConst", "def", &self.def, "args", &self.args,
"promoted", &&self.promoted)
}
}Debug, #[automatically_derived]
impl<'tcx> ::core::cmp::Eq for UnevaluatedConst<'tcx> {
#[inline]
#[doc(hidden)]
#[coverage(off)]
fn assert_fields_are_eq(&self) {
let _: ::core::cmp::AssertParamIsEq<DefId>;
let _: ::core::cmp::AssertParamIsEq<GenericArgsRef<'tcx>>;
let _: ::core::cmp::AssertParamIsEq<Option<Promoted>>;
}
}Eq, #[automatically_derived]
impl<'tcx> ::core::marker::StructuralPartialEq for UnevaluatedConst<'tcx> { }
#[automatically_derived]
impl<'tcx> ::core::cmp::PartialEq for UnevaluatedConst<'tcx> {
#[inline]
fn eq(&self, other: &Self) -> bool {
self.def == other.def && self.args == other.args &&
self.promoted == other.promoted
}
}PartialEq, const _: () =
{
impl<'tcx, __E: ::rustc_middle::ty::codec::TyEncoder<'tcx>>
::rustc_serialize::Encodable<__E> for UnevaluatedConst<'tcx> {
fn encode(&self, __encoder: &mut __E) {
let UnevaluatedConst {
def: ref __binding_0,
args: ref __binding_1,
promoted: ref __binding_2 } = *self;
::rustc_serialize::Encodable::<__E>::encode(__binding_0,
__encoder);
::rustc_serialize::Encodable::<__E>::encode(__binding_1,
__encoder);
::rustc_serialize::Encodable::<__E>::encode(__binding_2,
__encoder);
}
}
};TyEncodable, const _: () =
{
impl<'tcx, __D: ::rustc_middle::ty::codec::TyDecoder<'tcx>>
::rustc_serialize::Decodable<__D> for UnevaluatedConst<'tcx> {
fn decode(__decoder: &mut __D) -> Self {
UnevaluatedConst {
def: ::rustc_serialize::Decodable::decode(__decoder),
args: ::rustc_serialize::Decodable::decode(__decoder),
promoted: ::rustc_serialize::Decodable::decode(__decoder),
}
}
}
};TyDecodable)]
472#[derive(#[automatically_derived]
impl<'tcx> ::core::hash::Hash for UnevaluatedConst<'tcx> {
#[inline]
fn hash<__H: ::core::hash::Hasher>(&self, state: &mut __H) {
::core::hash::Hash::hash(&self.def, state);
::core::hash::Hash::hash(&self.args, state);
::core::hash::Hash::hash(&self.promoted, state)
}
}Hash, const _: () =
{
impl<'tcx> ::rustc_data_structures::stable_hash::StableHash for
UnevaluatedConst<'tcx> {
#[inline]
fn stable_hash<__Hcx: ::rustc_data_structures::stable_hash::StableHashCtxt>(&self,
__hcx: &mut __Hcx,
__hasher:
&mut ::rustc_data_structures::stable_hash::StableHasher) {
match *self {
UnevaluatedConst {
def: ref __binding_0,
args: ref __binding_1,
promoted: ref __binding_2 } => {
{ __binding_0.stable_hash(__hcx, __hasher); }
{ __binding_1.stable_hash(__hcx, __hasher); }
{ __binding_2.stable_hash(__hcx, __hasher); }
}
}
}
}
};StableHash, const _: () =
{
impl<'tcx>
::rustc_middle::ty::TypeFoldable<::rustc_middle::ty::TyCtxt<'tcx>>
for UnevaluatedConst<'tcx> {
fn try_fold_with<__F: ::rustc_middle::ty::FallibleTypeFolder<::rustc_middle::ty::TyCtxt<'tcx>>>(self,
__folder: &mut __F) -> Result<Self, __F::Error> {
Ok(match self {
UnevaluatedConst {
def: __binding_0, args: __binding_1, promoted: __binding_2 }
=> {
UnevaluatedConst {
def: ::rustc_middle::ty::TypeFoldable::try_fold_with(__binding_0,
__folder)?,
args: ::rustc_middle::ty::TypeFoldable::try_fold_with(__binding_1,
__folder)?,
promoted: ::rustc_middle::ty::TypeFoldable::try_fold_with(__binding_2,
__folder)?,
}
}
})
}
fn fold_with<__F: ::rustc_middle::ty::TypeFolder<::rustc_middle::ty::TyCtxt<'tcx>>>(self,
__folder: &mut __F) -> Self {
match self {
UnevaluatedConst {
def: __binding_0, args: __binding_1, promoted: __binding_2 }
=> {
UnevaluatedConst {
def: ::rustc_middle::ty::TypeFoldable::fold_with(__binding_0,
__folder),
args: ::rustc_middle::ty::TypeFoldable::fold_with(__binding_1,
__folder),
promoted: ::rustc_middle::ty::TypeFoldable::fold_with(__binding_2,
__folder),
}
}
}
}
}
};TypeFoldable, const _: () =
{
impl<'tcx>
::rustc_middle::ty::TypeVisitable<::rustc_middle::ty::TyCtxt<'tcx>>
for UnevaluatedConst<'tcx> {
fn visit_with<__V: ::rustc_middle::ty::TypeVisitor<::rustc_middle::ty::TyCtxt<'tcx>>>(&self,
__visitor: &mut __V) -> __V::Result {
match *self {
UnevaluatedConst {
def: ref __binding_0,
args: ref __binding_1,
promoted: ref __binding_2 } => {
{
match ::rustc_middle::ty::VisitorResult::branch(::rustc_middle::ty::TypeVisitable::visit_with(__binding_0,
__visitor)) {
::core::ops::ControlFlow::Continue(()) => {}
::core::ops::ControlFlow::Break(r) => {
return ::rustc_middle::ty::VisitorResult::from_residual(r);
}
}
}
{
match ::rustc_middle::ty::VisitorResult::branch(::rustc_middle::ty::TypeVisitable::visit_with(__binding_1,
__visitor)) {
::core::ops::ControlFlow::Continue(()) => {}
::core::ops::ControlFlow::Break(r) => {
return ::rustc_middle::ty::VisitorResult::from_residual(r);
}
}
}
{
match ::rustc_middle::ty::VisitorResult::branch(::rustc_middle::ty::TypeVisitable::visit_with(__binding_2,
__visitor)) {
::core::ops::ControlFlow::Continue(()) => {}
::core::ops::ControlFlow::Break(r) => {
return ::rustc_middle::ty::VisitorResult::from_residual(r);
}
}
}
}
}
<__V::Result as ::rustc_middle::ty::VisitorResult>::output()
}
}
};TypeVisitable, const _: () =
{
impl<'tcx, '__lifted>
::rustc_middle::ty::Lift<::rustc_middle::ty::TyCtxt<'__lifted>>
for UnevaluatedConst<'tcx> {
type Lifted = UnevaluatedConst<'__lifted>;
fn lift_to_interner(self,
__tcx: ::rustc_middle::ty::TyCtxt<'__lifted>)
-> UnevaluatedConst<'__lifted> {
match self {
UnevaluatedConst {
def: __binding_0, args: __binding_1, promoted: __binding_2 }
=> {
UnevaluatedConst {
def: __tcx.lift(__binding_0),
args: __tcx.lift(__binding_1),
promoted: __tcx.lift(__binding_2),
}
}
}
}
}
};Lift)]
473pub struct UnevaluatedConst<'tcx> {
474 pub def: DefId,
475 pub args: GenericArgsRef<'tcx>,
476 pub promoted: Option<Promoted>,
477}
478
479impl<'tcx> UnevaluatedConst<'tcx> {
480 #[inline]
481 pub fn shrink(self, tcx: TyCtxt<'tcx>) -> ty::AliasConst<'tcx> {
482 {
match (&self.promoted, &None) {
(left_val, right_val) => {
if !(*left_val == *right_val) {
let kind = ::core::panicking::AssertKind::Eq;
::core::panicking::assert_failed(kind, &*left_val,
&*right_val, ::core::option::Option::None);
}
}
}
};assert_eq!(self.promoted, None);
483
484 let kind = match tcx.def_kind(self.def) {
485 DefKind::AssocConst => {
486 if let DefKind::Impl { of_trait: false } = tcx.def_kind(tcx.parent(self.def)) {
487 ty::AliasConstKind::InherentImpl { def_id: self.def }
488 } else {
489 ty::AliasConstKind::Projection { def_id: self.def }
490 }
491 }
492 DefKind::Const => ty::AliasConstKind::Free { def_id: self.def },
493 DefKind::AnonConst => ty::AliasConstKind::Anon { def_id: self.def },
494 kind => ::rustc_span::macros::bug_impl(None,
format_args!("unexpected DefKind in MIR UnevaluatedConst: {0:?}", kind),
Location::caller())bug!("unexpected DefKind in MIR UnevaluatedConst: {kind:?}"),
495 };
496
497 ty::AliasConst::new(tcx, kind, self.args)
498 }
499}
500
501impl<'tcx> UnevaluatedConst<'tcx> {
502 #[inline]
503 pub fn new(def: DefId, args: GenericArgsRef<'tcx>) -> UnevaluatedConst<'tcx> {
504 UnevaluatedConst { def, args, promoted: Default::default() }
505 }
506
507 #[inline]
508 pub fn from_instance(instance: ty::Instance<'tcx>) -> Self {
509 UnevaluatedConst::new(instance.def_id(), instance.args)
510 }
511}
512
513impl<'tcx> Display for Const<'tcx> {
514 fn fmt(&self, fmt: &mut Formatter<'_>) -> fmt::Result {
515 match *self {
516 Const::Ty(_, c) => pretty_print_const(c, fmt, true),
517 Const::Val(val, ty) => pretty_print_const_value(val, ty, fmt),
518 Const::Unevaluated(c, _ty) => {
520 ty::tls::with(move |tcx| {
521 let c = tcx.lift(c);
522 let instance =
524 {
let _guard = NoTrimmedGuard::new();
tcx.def_path_str_with_args(c.def, c.args)
}with_no_trimmed_paths!(tcx.def_path_str_with_args(c.def, c.args));
525 fmt.write_fmt(format_args!("{0}", instance))write!(fmt, "{instance}")?;
526 if let Some(promoted) = c.promoted {
527 fmt.write_fmt(format_args!("::{0:?}", promoted))write!(fmt, "::{promoted:?}")?;
528 }
529 Ok(())
530 })
531 }
532 }
533 }
534}
535
536impl<'tcx> TyCtxt<'tcx> {
540 pub fn span_as_caller_location(self, span: Span) -> ConstValue {
541 let topmost = span.ctxt().outer_expn().expansion_cause().unwrap_or(span);
542 let caller = self.sess.source_map().lookup_char_pos(topmost.lo());
543 self.const_caller_location(
544 Symbol::intern(
545 &caller.file.name.display(RemapPathScopeComponents::MACRO).to_string_lossy(),
546 ),
547 caller.line as u32,
548 caller.col_display as u32 + 1,
549 )
550 }
551}