]> git.proxmox.com Git - rustc.git/blame - compiler/rustc_middle/src/ty/adt.rs
New upstream version 1.67.1+dfsg1
[rustc.git] / compiler / rustc_middle / src / ty / adt.rs
CommitLineData
6a06907d
XL
1use crate::mir::interpret::ErrorHandled;
2use crate::ty;
3use crate::ty::util::{Discr, IntTypeExt};
4use rustc_data_structures::captures::Captures;
5use rustc_data_structures::fingerprint::Fingerprint;
6use rustc_data_structures::fx::FxHashMap;
5e7ed085 7use rustc_data_structures::intern::Interned;
5099ac24 8use rustc_data_structures::stable_hasher::HashingControls;
6a06907d 9use rustc_data_structures::stable_hasher::{HashStable, StableHasher};
c295e0f8 10use rustc_hir as hir;
a2a8927a 11use rustc_hir::def::{CtorKind, DefKind, Res};
6a06907d
XL
12use rustc_hir::def_id::DefId;
13use rustc_index::vec::{Idx, IndexVec};
c295e0f8 14use rustc_query_system::ich::StableHashingContext;
6a06907d
XL
15use rustc_session::DataTypeKind;
16use rustc_span::symbol::sym;
487cf647 17use rustc_target::abi::{ReprOptions, VariantIdx};
6a06907d
XL
18
19use std::cell::RefCell;
20use std::cmp::Ordering;
21use std::hash::{Hash, Hasher};
22use std::ops::Range;
a2a8927a 23use std::str;
6a06907d 24
487cf647 25use super::{Destructor, FieldDef, GenericPredicates, Ty, TyCtxt, VariantDef, VariantDiscr};
6a06907d 26
6a06907d 27bitflags! {
a2a8927a 28 #[derive(HashStable, TyEncodable, TyDecodable)]
6a06907d
XL
29 pub struct AdtFlags: u32 {
30 const NO_ADT_FLAGS = 0;
31 /// Indicates whether the ADT is an enum.
32 const IS_ENUM = 1 << 0;
33 /// Indicates whether the ADT is a union.
34 const IS_UNION = 1 << 1;
35 /// Indicates whether the ADT is a struct.
36 const IS_STRUCT = 1 << 2;
37 /// Indicates whether the ADT is a struct and has a constructor.
38 const HAS_CTOR = 1 << 3;
39 /// Indicates whether the type is `PhantomData`.
40 const IS_PHANTOM_DATA = 1 << 4;
41 /// Indicates whether the type has a `#[fundamental]` attribute.
42 const IS_FUNDAMENTAL = 1 << 5;
43 /// Indicates whether the type is `Box`.
44 const IS_BOX = 1 << 6;
45 /// Indicates whether the type is `ManuallyDrop`.
46 const IS_MANUALLY_DROP = 1 << 7;
47 /// Indicates whether the variant list of this ADT is `#[non_exhaustive]`.
48 /// (i.e., this flag is never set unless this ADT is an enum).
49 const IS_VARIANT_LIST_NON_EXHAUSTIVE = 1 << 8;
064997fb
FG
50 /// Indicates whether the type is `UnsafeCell`.
51 const IS_UNSAFE_CELL = 1 << 9;
6a06907d
XL
52 }
53}
54
55/// The definition of a user-defined type, e.g., a `struct`, `enum`, or `union`.
56///
57/// These are all interned (by `alloc_adt_def`) into the global arena.
58///
59/// The initialism *ADT* stands for an [*algebraic data type (ADT)*][adt].
60/// This is slightly wrong because `union`s are not ADTs.
61/// Moreover, Rust only allows recursive data types through indirection.
62///
63/// [adt]: https://en.wikipedia.org/wiki/Algebraic_data_type
a2a8927a
XL
64///
65/// # Recursive types
66///
67/// It may seem impossible to represent recursive types using [`Ty`],
68/// since [`TyKind::Adt`] includes [`AdtDef`], which includes its fields,
69/// creating a cycle. However, `AdtDef` does not actually include the *types*
70/// of its fields; it includes just their [`DefId`]s.
71///
72/// [`TyKind::Adt`]: ty::TyKind::Adt
73///
74/// For example, the following type:
75///
76/// ```
77/// struct S { x: Box<S> }
78/// ```
79///
80/// is essentially represented with [`Ty`] as the following pseudocode:
81///
04454e1e 82/// ```ignore (illustrative)
a2a8927a
XL
83/// struct S { x }
84/// ```
85///
86/// where `x` here represents the `DefId` of `S.x`. Then, the `DefId`
87/// can be used with [`TyCtxt::type_of()`] to get the type of the field.
88#[derive(TyEncodable, TyDecodable)]
5e7ed085 89pub struct AdtDefData {
6a06907d
XL
90 /// The `DefId` of the struct, enum or union item.
91 pub did: DefId,
92 /// Variants of the ADT. If this is a struct or union, then there will be a single variant.
5e7ed085 93 variants: IndexVec<VariantIdx, VariantDef>,
6a06907d
XL
94 /// Flags of the ADT (e.g., is this a struct? is this non-exhaustive?).
95 flags: AdtFlags,
96 /// Repr options provided by the user.
5e7ed085 97 repr: ReprOptions,
6a06907d
XL
98}
99
5e7ed085
FG
100impl PartialOrd for AdtDefData {
101 fn partial_cmp(&self, other: &AdtDefData) -> Option<Ordering> {
6a06907d
XL
102 Some(self.cmp(&other))
103 }
104}
105
106/// There should be only one AdtDef for each `did`, therefore
107/// it is fine to implement `Ord` only based on `did`.
5e7ed085
FG
108impl Ord for AdtDefData {
109 fn cmp(&self, other: &AdtDefData) -> Ordering {
6a06907d
XL
110 self.did.cmp(&other.did)
111 }
112}
113
a2a8927a
XL
114/// There should be only one AdtDef for each `did`, therefore
115/// it is fine to implement `PartialEq` only based on `did`.
5e7ed085 116impl PartialEq for AdtDefData {
6a06907d
XL
117 #[inline]
118 fn eq(&self, other: &Self) -> bool {
a2a8927a 119 self.did == other.did
6a06907d
XL
120 }
121}
122
5e7ed085 123impl Eq for AdtDefData {}
6a06907d 124
a2a8927a
XL
125/// There should be only one AdtDef for each `did`, therefore
126/// it is fine to implement `Hash` only based on `did`.
5e7ed085 127impl Hash for AdtDefData {
6a06907d
XL
128 #[inline]
129 fn hash<H: Hasher>(&self, s: &mut H) {
a2a8927a 130 self.did.hash(s)
6a06907d
XL
131 }
132}
133
5e7ed085 134impl<'a> HashStable<StableHashingContext<'a>> for AdtDefData {
6a06907d
XL
135 fn hash_stable(&self, hcx: &mut StableHashingContext<'a>, hasher: &mut StableHasher) {
136 thread_local! {
5099ac24 137 static CACHE: RefCell<FxHashMap<(usize, HashingControls), Fingerprint>> = Default::default();
6a06907d
XL
138 }
139
140 let hash: Fingerprint = CACHE.with(|cache| {
5e7ed085 141 let addr = self as *const AdtDefData as usize;
5099ac24
FG
142 let hashing_controls = hcx.hashing_controls();
143 *cache.borrow_mut().entry((addr, hashing_controls)).or_insert_with(|| {
5e7ed085 144 let ty::AdtDefData { did, ref variants, ref flags, ref repr } = *self;
6a06907d
XL
145
146 let mut hasher = StableHasher::new();
147 did.hash_stable(hcx, &mut hasher);
148 variants.hash_stable(hcx, &mut hasher);
149 flags.hash_stable(hcx, &mut hasher);
150 repr.hash_stable(hcx, &mut hasher);
151
152 hasher.finish()
153 })
154 });
155
156 hash.hash_stable(hcx, hasher);
157 }
158}
159
5e7ed085 160#[derive(Copy, Clone, PartialEq, Eq, Hash, Ord, PartialOrd, HashStable)]
04454e1e 161#[rustc_pass_by_value]
5e7ed085
FG
162pub struct AdtDef<'tcx>(pub Interned<'tcx, AdtDefData>);
163
164impl<'tcx> AdtDef<'tcx> {
064997fb 165 #[inline]
5e7ed085
FG
166 pub fn did(self) -> DefId {
167 self.0.0.did
168 }
169
064997fb 170 #[inline]
5e7ed085
FG
171 pub fn variants(self) -> &'tcx IndexVec<VariantIdx, VariantDef> {
172 &self.0.0.variants
173 }
174
064997fb 175 #[inline]
5e7ed085
FG
176 pub fn variant(self, idx: VariantIdx) -> &'tcx VariantDef {
177 &self.0.0.variants[idx]
178 }
179
064997fb 180 #[inline]
5e7ed085
FG
181 pub fn flags(self) -> AdtFlags {
182 self.0.0.flags
183 }
184
064997fb 185 #[inline]
5e7ed085
FG
186 pub fn repr(self) -> ReprOptions {
187 self.0.0.repr
188 }
189}
190
a2a8927a 191#[derive(Copy, Clone, Debug, Eq, PartialEq, Hash, TyEncodable, TyDecodable)]
6a06907d
XL
192pub enum AdtKind {
193 Struct,
194 Union,
195 Enum,
196}
197
198impl Into<DataTypeKind> for AdtKind {
199 fn into(self) -> DataTypeKind {
200 match self {
201 AdtKind::Struct => DataTypeKind::Struct,
202 AdtKind::Union => DataTypeKind::Union,
203 AdtKind::Enum => DataTypeKind::Enum,
204 }
205 }
206}
207
5e7ed085
FG
208impl AdtDefData {
209 /// Creates a new `AdtDefData`.
6a06907d
XL
210 pub(super) fn new(
211 tcx: TyCtxt<'_>,
212 did: DefId,
213 kind: AdtKind,
214 variants: IndexVec<VariantIdx, VariantDef>,
215 repr: ReprOptions,
216 ) -> Self {
217 debug!("AdtDef::new({:?}, {:?}, {:?}, {:?})", did, kind, variants, repr);
218 let mut flags = AdtFlags::NO_ADT_FLAGS;
219
220 if kind == AdtKind::Enum && tcx.has_attr(did, sym::non_exhaustive) {
221 debug!("found non-exhaustive variant list for {:?}", did);
222 flags = flags | AdtFlags::IS_VARIANT_LIST_NON_EXHAUSTIVE;
223 }
224
225 flags |= match kind {
226 AdtKind::Enum => AdtFlags::IS_ENUM,
227 AdtKind::Union => AdtFlags::IS_UNION,
228 AdtKind::Struct => AdtFlags::IS_STRUCT,
229 };
230
487cf647 231 if kind == AdtKind::Struct && variants[VariantIdx::new(0)].ctor.is_some() {
6a06907d
XL
232 flags |= AdtFlags::HAS_CTOR;
233 }
234
04454e1e 235 if tcx.has_attr(did, sym::fundamental) {
6a06907d
XL
236 flags |= AdtFlags::IS_FUNDAMENTAL;
237 }
238 if Some(did) == tcx.lang_items().phantom_data() {
239 flags |= AdtFlags::IS_PHANTOM_DATA;
240 }
241 if Some(did) == tcx.lang_items().owned_box() {
242 flags |= AdtFlags::IS_BOX;
243 }
244 if Some(did) == tcx.lang_items().manually_drop() {
245 flags |= AdtFlags::IS_MANUALLY_DROP;
246 }
064997fb
FG
247 if Some(did) == tcx.lang_items().unsafe_cell_type() {
248 flags |= AdtFlags::IS_UNSAFE_CELL;
249 }
6a06907d 250
5e7ed085 251 AdtDefData { did, variants, flags, repr }
6a06907d 252 }
5e7ed085 253}
6a06907d 254
5e7ed085 255impl<'tcx> AdtDef<'tcx> {
6a06907d
XL
256 /// Returns `true` if this is a struct.
257 #[inline]
5e7ed085
FG
258 pub fn is_struct(self) -> bool {
259 self.flags().contains(AdtFlags::IS_STRUCT)
6a06907d
XL
260 }
261
262 /// Returns `true` if this is a union.
263 #[inline]
5e7ed085
FG
264 pub fn is_union(self) -> bool {
265 self.flags().contains(AdtFlags::IS_UNION)
6a06907d
XL
266 }
267
94222f64 268 /// Returns `true` if this is an enum.
6a06907d 269 #[inline]
5e7ed085
FG
270 pub fn is_enum(self) -> bool {
271 self.flags().contains(AdtFlags::IS_ENUM)
6a06907d
XL
272 }
273
274 /// Returns `true` if the variant list of this ADT is `#[non_exhaustive]`.
275 #[inline]
5e7ed085
FG
276 pub fn is_variant_list_non_exhaustive(self) -> bool {
277 self.flags().contains(AdtFlags::IS_VARIANT_LIST_NON_EXHAUSTIVE)
6a06907d
XL
278 }
279
280 /// Returns the kind of the ADT.
281 #[inline]
5e7ed085 282 pub fn adt_kind(self) -> AdtKind {
6a06907d
XL
283 if self.is_enum() {
284 AdtKind::Enum
285 } else if self.is_union() {
286 AdtKind::Union
287 } else {
288 AdtKind::Struct
289 }
290 }
291
292 /// Returns a description of this abstract data type.
5e7ed085 293 pub fn descr(self) -> &'static str {
6a06907d
XL
294 match self.adt_kind() {
295 AdtKind::Struct => "struct",
296 AdtKind::Union => "union",
297 AdtKind::Enum => "enum",
298 }
299 }
300
301 /// Returns a description of a variant of this abstract data type.
302 #[inline]
5e7ed085 303 pub fn variant_descr(self) -> &'static str {
6a06907d
XL
304 match self.adt_kind() {
305 AdtKind::Struct => "struct",
306 AdtKind::Union => "union",
307 AdtKind::Enum => "variant",
308 }
309 }
310
311 /// If this function returns `true`, it implies that `is_struct` must return `true`.
312 #[inline]
5e7ed085
FG
313 pub fn has_ctor(self) -> bool {
314 self.flags().contains(AdtFlags::HAS_CTOR)
6a06907d
XL
315 }
316
317 /// Returns `true` if this type is `#[fundamental]` for the purposes
318 /// of coherence checking.
319 #[inline]
5e7ed085
FG
320 pub fn is_fundamental(self) -> bool {
321 self.flags().contains(AdtFlags::IS_FUNDAMENTAL)
6a06907d
XL
322 }
323
324 /// Returns `true` if this is `PhantomData<T>`.
325 #[inline]
5e7ed085
FG
326 pub fn is_phantom_data(self) -> bool {
327 self.flags().contains(AdtFlags::IS_PHANTOM_DATA)
6a06907d
XL
328 }
329
2b03887a 330 /// Returns `true` if this is `Box<T>`.
6a06907d 331 #[inline]
5e7ed085
FG
332 pub fn is_box(self) -> bool {
333 self.flags().contains(AdtFlags::IS_BOX)
6a06907d
XL
334 }
335
2b03887a 336 /// Returns `true` if this is `UnsafeCell<T>`.
064997fb
FG
337 #[inline]
338 pub fn is_unsafe_cell(self) -> bool {
339 self.flags().contains(AdtFlags::IS_UNSAFE_CELL)
340 }
341
6a06907d
XL
342 /// Returns `true` if this is `ManuallyDrop<T>`.
343 #[inline]
5e7ed085
FG
344 pub fn is_manually_drop(self) -> bool {
345 self.flags().contains(AdtFlags::IS_MANUALLY_DROP)
6a06907d
XL
346 }
347
348 /// Returns `true` if this type has a destructor.
5e7ed085 349 pub fn has_dtor(self, tcx: TyCtxt<'tcx>) -> bool {
6a06907d
XL
350 self.destructor(tcx).is_some()
351 }
352
5e7ed085 353 pub fn has_non_const_dtor(self, tcx: TyCtxt<'tcx>) -> bool {
c295e0f8
XL
354 matches!(self.destructor(tcx), Some(Destructor { constness: hir::Constness::NotConst, .. }))
355 }
356
6a06907d 357 /// Asserts this is a struct or union and returns its unique variant.
5e7ed085 358 pub fn non_enum_variant(self) -> &'tcx VariantDef {
6a06907d 359 assert!(self.is_struct() || self.is_union());
5e7ed085 360 &self.variant(VariantIdx::new(0))
6a06907d
XL
361 }
362
363 #[inline]
5e7ed085
FG
364 pub fn predicates(self, tcx: TyCtxt<'tcx>) -> GenericPredicates<'tcx> {
365 tcx.predicates_of(self.did())
6a06907d
XL
366 }
367
368 /// Returns an iterator over all fields contained
369 /// by this ADT.
370 #[inline]
5e7ed085
FG
371 pub fn all_fields(self) -> impl Iterator<Item = &'tcx FieldDef> + Clone {
372 self.variants().iter().flat_map(|v| v.fields.iter())
6a06907d
XL
373 }
374
375 /// Whether the ADT lacks fields. Note that this includes uninhabited enums,
376 /// e.g., `enum Void {}` is considered payload free as well.
5e7ed085 377 pub fn is_payloadfree(self) -> bool {
a2a8927a
XL
378 // Treat the ADT as not payload-free if arbitrary_enum_discriminant is used (#88621).
379 // This would disallow the following kind of enum from being casted into integer.
380 // ```
381 // enum Enum {
382 // Foo() = 1,
383 // Bar{} = 2,
384 // Baz = 3,
385 // }
386 // ```
487cf647
FG
387 if self.variants().iter().any(|v| {
388 matches!(v.discr, VariantDiscr::Explicit(_)) && v.ctor_kind() != Some(CtorKind::Const)
389 }) {
a2a8927a
XL
390 return false;
391 }
5e7ed085 392 self.variants().iter().all(|v| v.fields.is_empty())
6a06907d
XL
393 }
394
395 /// Return a `VariantDef` given a variant id.
5e7ed085
FG
396 pub fn variant_with_id(self, vid: DefId) -> &'tcx VariantDef {
397 self.variants().iter().find(|v| v.def_id == vid).expect("variant_with_id: unknown variant")
6a06907d
XL
398 }
399
400 /// Return a `VariantDef` given a constructor id.
5e7ed085
FG
401 pub fn variant_with_ctor_id(self, cid: DefId) -> &'tcx VariantDef {
402 self.variants()
6a06907d 403 .iter()
487cf647 404 .find(|v| v.ctor_def_id() == Some(cid))
6a06907d
XL
405 .expect("variant_with_ctor_id: unknown variant")
406 }
407
408 /// Return the index of `VariantDef` given a variant id.
5e7ed085
FG
409 pub fn variant_index_with_id(self, vid: DefId) -> VariantIdx {
410 self.variants()
6a06907d
XL
411 .iter_enumerated()
412 .find(|(_, v)| v.def_id == vid)
413 .expect("variant_index_with_id: unknown variant")
414 .0
415 }
416
417 /// Return the index of `VariantDef` given a constructor id.
5e7ed085
FG
418 pub fn variant_index_with_ctor_id(self, cid: DefId) -> VariantIdx {
419 self.variants()
6a06907d 420 .iter_enumerated()
487cf647 421 .find(|(_, v)| v.ctor_def_id() == Some(cid))
6a06907d
XL
422 .expect("variant_index_with_ctor_id: unknown variant")
423 .0
424 }
425
5e7ed085 426 pub fn variant_of_res(self, res: Res) -> &'tcx VariantDef {
6a06907d
XL
427 match res {
428 Res::Def(DefKind::Variant, vid) => self.variant_with_id(vid),
429 Res::Def(DefKind::Ctor(..), cid) => self.variant_with_ctor_id(cid),
430 Res::Def(DefKind::Struct, _)
431 | Res::Def(DefKind::Union, _)
432 | Res::Def(DefKind::TyAlias, _)
433 | Res::Def(DefKind::AssocTy, _)
2b03887a
FG
434 | Res::SelfTyParam { .. }
435 | Res::SelfTyAlias { .. }
6a06907d
XL
436 | Res::SelfCtor(..) => self.non_enum_variant(),
437 _ => bug!("unexpected res {:?} in variant_of_res", res),
438 }
439 }
440
441 #[inline]
5e7ed085 442 pub fn eval_explicit_discr(self, tcx: TyCtxt<'tcx>, expr_did: DefId) -> Option<Discr<'tcx>> {
6a06907d
XL
443 assert!(self.is_enum());
444 let param_env = tcx.param_env(expr_did);
5e7ed085 445 let repr_type = self.repr().discr_type();
6a06907d
XL
446 match tcx.const_eval_poly(expr_did) {
447 Ok(val) => {
448 let ty = repr_type.to_ty(tcx);
449 if let Some(b) = val.try_to_bits_for_ty(tcx, param_env, ty) {
450 trace!("discriminants: {} ({:?})", b, repr_type);
451 Some(Discr { val: b, ty })
452 } else {
453 info!("invalid enum discriminant: {:#?}", val);
2b03887a
FG
454 tcx.sess.emit_err(crate::error::ConstEvalNonIntError {
455 span: tcx.def_span(expr_did),
456 });
6a06907d
XL
457 None
458 }
459 }
460 Err(err) => {
461 let msg = match err {
487cf647 462 ErrorHandled::Reported(_) => "enum discriminant evaluation failed",
6a06907d
XL
463 ErrorHandled::TooGeneric => "enum discriminant depends on generics",
464 };
465 tcx.sess.delay_span_bug(tcx.def_span(expr_did), msg);
466 None
467 }
468 }
469 }
470
471 #[inline]
472 pub fn discriminants(
5e7ed085 473 self,
6a06907d
XL
474 tcx: TyCtxt<'tcx>,
475 ) -> impl Iterator<Item = (VariantIdx, Discr<'tcx>)> + Captures<'tcx> {
476 assert!(self.is_enum());
5e7ed085 477 let repr_type = self.repr().discr_type();
6a06907d
XL
478 let initial = repr_type.initial_discriminant(tcx);
479 let mut prev_discr = None::<Discr<'tcx>>;
5e7ed085 480 self.variants().iter_enumerated().map(move |(i, v)| {
6a06907d
XL
481 let mut discr = prev_discr.map_or(initial, |d| d.wrap_incr(tcx));
482 if let VariantDiscr::Explicit(expr_did) = v.discr {
483 if let Some(new_discr) = self.eval_explicit_discr(tcx, expr_did) {
484 discr = new_discr;
485 }
486 }
487 prev_discr = Some(discr);
488
489 (i, discr)
490 })
491 }
492
493 #[inline]
5e7ed085
FG
494 pub fn variant_range(self) -> Range<VariantIdx> {
495 VariantIdx::new(0)..VariantIdx::new(self.variants().len())
6a06907d
XL
496 }
497
498 /// Computes the discriminant value used by a specific variant.
499 /// Unlike `discriminants`, this is (amortized) constant-time,
500 /// only doing at most one query for evaluating an explicit
501 /// discriminant (the last one before the requested variant),
502 /// assuming there are no constant-evaluation errors there.
503 #[inline]
504 pub fn discriminant_for_variant(
5e7ed085 505 self,
6a06907d
XL
506 tcx: TyCtxt<'tcx>,
507 variant_index: VariantIdx,
508 ) -> Discr<'tcx> {
509 assert!(self.is_enum());
510 let (val, offset) = self.discriminant_def_for_variant(variant_index);
511 let explicit_value = val
512 .and_then(|expr_did| self.eval_explicit_discr(tcx, expr_did))
5e7ed085 513 .unwrap_or_else(|| self.repr().discr_type().initial_discriminant(tcx));
6a06907d
XL
514 explicit_value.checked_add(tcx, offset as u128).0
515 }
516
517 /// Yields a `DefId` for the discriminant and an offset to add to it
518 /// Alternatively, if there is no explicit discriminant, returns the
519 /// inferred discriminant directly.
5e7ed085
FG
520 pub fn discriminant_def_for_variant(self, variant_index: VariantIdx) -> (Option<DefId>, u32) {
521 assert!(!self.variants().is_empty());
6a06907d
XL
522 let mut explicit_index = variant_index.as_u32();
523 let expr_did;
524 loop {
5e7ed085 525 match self.variant(VariantIdx::from_u32(explicit_index)).discr {
6a06907d
XL
526 ty::VariantDiscr::Relative(0) => {
527 expr_did = None;
528 break;
529 }
530 ty::VariantDiscr::Relative(distance) => {
531 explicit_index -= distance;
532 }
533 ty::VariantDiscr::Explicit(did) => {
534 expr_did = Some(did);
535 break;
536 }
537 }
538 }
539 (expr_did, variant_index.as_u32() - explicit_index)
540 }
541
5e7ed085
FG
542 pub fn destructor(self, tcx: TyCtxt<'tcx>) -> Option<Destructor> {
543 tcx.adt_destructor(self.did())
6a06907d
XL
544 }
545
546 /// Returns a list of types such that `Self: Sized` if and only
547 /// if that type is `Sized`, or `TyErr` if this type is recursive.
548 ///
549 /// Oddly enough, checking that the sized-constraint is `Sized` is
550 /// actually more expressive than checking all members:
551 /// the `Sized` trait is inductive, so an associated type that references
552 /// `Self` would prevent its containing ADT from being `Sized`.
553 ///
554 /// Due to normalization being eager, this applies even if
555 /// the associated type is behind a pointer (e.g., issue #31299).
064997fb 556 pub fn sized_constraint(self, tcx: TyCtxt<'tcx>) -> ty::EarlyBinder<&'tcx [Ty<'tcx>]> {
2b03887a 557 ty::EarlyBinder(tcx.adt_sized_constraint(self.did()))
6a06907d
XL
558 }
559}
2b03887a
FG
560
561#[derive(Clone, Copy, Debug)]
562#[derive(HashStable)]
563pub enum Representability {
564 Representable,
565 Infinite,
566}