Enum rustc_infer::traits::ObligationCauseCode

source ·
pub enum ObligationCauseCode<'tcx> {
Show 57 variants Misc, SliceOrArrayElem, TupleElem, WhereClause(DefId, Span), WhereClauseInExpr(DefId, Span, HirId, usize), ReferenceOutlivesReferent(Ty<'tcx>), ObjectTypeBound(Ty<'tcx>, Region<'tcx>), Coercion { source: Ty<'tcx>, target: Ty<'tcx>, }, AssignmentLhsSized, TupleInitializerSized, StructInitializerSized, VariableType(HirId), SizedArgumentType(Option<HirId>), SizedReturnType, SizedCallReturnType, SizedYieldType, InlineAsmSized, SizedClosureCapture(LocalDefId), SizedCoroutineInterior(LocalDefId), RepeatElementCopy { is_constable: IsConstable, elt_type: Ty<'tcx>, elt_span: Span, elt_stmt_span: Span, }, FieldSized { adt_kind: AdtKind, span: Span, last: bool, }, ConstSized, SharedStatic, BuiltinDerived(DerivedCause<'tcx>), ImplDerived(Box<ImplDerivedCause<'tcx>>), WellFormedDerived(DerivedCause<'tcx>), FunctionArg { arg_hir_id: HirId, call_hir_id: HirId, parent_code: InternedObligationCauseCode<'tcx>, }, CompareImplItem { impl_item_def_id: LocalDefId, trait_item_def_id: DefId, kind: AssocKind, }, CheckAssociatedTypeBounds { impl_item_def_id: LocalDefId, trait_item_def_id: DefId, }, ExprAssignable, MatchExpressionArm(Box<MatchExpressionArmCause<'tcx>>), Pattern { span: Option<Span>, root_ty: Ty<'tcx>, origin_expr: bool, }, IfExpression(Box<IfExpressionCause<'tcx>>), IfExpressionWithNoElse, MainFunctionType, StartFunctionType, LangFunctionType(Symbol), IntrinsicType, LetElse, MethodReceiver, UnifyReceiver(Box<UnifyReceiverContext<'tcx>>), ReturnNoExpression, ReturnValue(HirId), OpaqueReturnType(Option<(Ty<'tcx>, HirId)>), BlockTailExpression(HirId, MatchSource), TrivialBound, AwaitableExpr(HirId), ForLoopIterator, QuestionMark, WellFormed(Option<WellFormedLoc>), MatchImpl(ObligationCause<'tcx>, DefId), BinOp { lhs_hir_id: HirId, rhs_hir_id: Option<HirId>, rhs_span: Option<Span>, rhs_is_lit: bool, output_ty: Option<Ty<'tcx>>, }, AscribeUserTypeProvePredicate(Span), RustCall, DropImpl, ConstParam(Ty<'tcx>), TypeAlias(InternedObligationCauseCode<'tcx>, Span, DefId),
}

Variants§

§

Misc

Not well classified or should be obvious from the span.

§

SliceOrArrayElem

A slice or array is WF only if T: Sized.

§

TupleElem

A tuple is WF only if its middle elements are Sized.

§

WhereClause(DefId, Span)

Represents a clause that comes from a specific item. The span corresponds to the clause.

§

WhereClauseInExpr(DefId, Span, HirId, usize)

Like WhereClause, but also identifies the expression which requires the where clause to be proven, and also identifies the index of the predicate in the predicates_of list of the item.

§

ReferenceOutlivesReferent(Ty<'tcx>)

A type like &'a T is WF only if T: 'a.

§

ObjectTypeBound(Ty<'tcx>, Region<'tcx>)

A type like Box<Foo<'a> + 'b> is WF only if 'b: 'a.

§

Coercion

Obligation incurred due to a coercion.

Fields

§source: Ty<'tcx>
§target: Ty<'tcx>
§

AssignmentLhsSized

Various cases where expressions must be Sized / Copy / etc. L = X implies that L is Sized.

§

TupleInitializerSized

(x1, .., xn) must be Sized.

§

StructInitializerSized

S { ... } must be Sized.

§

VariableType(HirId)

Type of each variable must be Sized.

§

SizedArgumentType(Option<HirId>)

Argument type must be Sized.

§

SizedReturnType

Return type must be Sized.

§

SizedCallReturnType

Return type of a call expression must be Sized.

§

SizedYieldType

Yield type must be Sized.

§

InlineAsmSized

Inline asm operand type must be Sized.

§

SizedClosureCapture(LocalDefId)

Captured closure type must be Sized.

§

SizedCoroutineInterior(LocalDefId)

Types live across coroutine yields must be Sized.

§

RepeatElementCopy

[expr; N] requires type_of(expr): Copy.

Fields

§is_constable: IsConstable

If element is a const fn or const ctor we display a help message suggesting to move it to a new const item while saying that T doesn’t implement Copy.

§elt_type: Ty<'tcx>
§elt_span: Span
§elt_stmt_span: Span

Span of the statement/item in which the repeat expression occurs. We can use this to place a const declaration before it

§

FieldSized

Types of fields (other than the last, except for packed structs) in a struct must be sized.

Fields

§adt_kind: AdtKind
§span: Span
§last: bool
§

ConstSized

Constant expressions must be sized.

§

SharedStatic

static items must have Sync type.

§

BuiltinDerived(DerivedCause<'tcx>)

Derived obligation (i.e. theoretical where clause) on a built-in implementation like Copy or Sized.

§

ImplDerived(Box<ImplDerivedCause<'tcx>>)

Derived obligation (i.e. where clause) on an user-provided impl or a trait alias.

§

WellFormedDerived(DerivedCause<'tcx>)

Derived obligation for WF goals.

§

FunctionArg

Derived obligation refined to point at a specific argument in a call or method expression.

Fields

§arg_hir_id: HirId

The node of the relevant argument in the function call.

§call_hir_id: HirId

The node of the function call.

§parent_code: InternedObligationCauseCode<'tcx>

The obligation introduced by this argument.

§

CompareImplItem

Error derived when checking an impl item is compatible with its corresponding trait item’s definition

Fields

§impl_item_def_id: LocalDefId
§trait_item_def_id: DefId
§

CheckAssociatedTypeBounds

Checking that the bounds of a trait’s associated type hold for a given impl

Fields

§impl_item_def_id: LocalDefId
§trait_item_def_id: DefId
§

ExprAssignable

Checking that this expression can be assigned to its target.

§

MatchExpressionArm(Box<MatchExpressionArmCause<'tcx>>)

Computing common supertype in the arms of a match expression

§

Pattern

Type error arising from type checking a pattern against an expected type.

Fields

§span: Option<Span>

The span of the scrutinee or type expression which caused the root_ty type.

§root_ty: Ty<'tcx>

The root expected type induced by a scrutinee or type expression.

§origin_expr: bool

Whether the Span came from an expression or a type expression.

§

IfExpression(Box<IfExpressionCause<'tcx>>)

Computing common supertype in an if expression

§

IfExpressionWithNoElse

Computing common supertype of an if expression with no else counter-part

§

MainFunctionType

main has wrong type

§

StartFunctionType

start has wrong type

§

LangFunctionType(Symbol)

language function has wrong type

§

IntrinsicType

Intrinsic has wrong type

§

LetElse

A let else block does not diverge

§

MethodReceiver

Method receiver

§

UnifyReceiver(Box<UnifyReceiverContext<'tcx>>)

§

ReturnNoExpression

return with no expression

§

ReturnValue(HirId)

return with an expression

§

OpaqueReturnType(Option<(Ty<'tcx>, HirId)>)

Opaque return type of this function

§

BlockTailExpression(HirId, MatchSource)

Block implicit return

§

TrivialBound

#[feature(trivial_bounds)] is not enabled

§

AwaitableExpr(HirId)

§

ForLoopIterator

§

QuestionMark

§

WellFormed(Option<WellFormedLoc>)

Well-formed checking. If a WellFormedLoc is provided, then it will be used to perform HIR-based wf checking after an error occurs, in order to generate a more precise error span. This is purely for diagnostic purposes - it is always correct to use Misc instead, or to specify WellFormed(None).

§

MatchImpl(ObligationCause<'tcx>, DefId)

From match_impl. The cause for us having to match an impl, and the DefId we are matching against.

§

BinOp

Fields

§lhs_hir_id: HirId
§rhs_hir_id: Option<HirId>
§rhs_span: Option<Span>
§rhs_is_lit: bool
§output_ty: Option<Ty<'tcx>>
§

AscribeUserTypeProvePredicate(Span)

§

RustCall

§

DropImpl

Obligations to prove that a std::ops::Drop impl is not stronger than the ADT it’s being implemented for.

§

ConstParam(Ty<'tcx>)

Requirement for a const N: Ty to implement Ty: ConstParamTy

§

TypeAlias(InternedObligationCauseCode<'tcx>, Span, DefId)

Obligations emitted during the normalization of a weak type alias.

Implementations§

source§

impl<'tcx> ObligationCauseCode<'tcx>

source

pub fn peel_derives(&self) -> &ObligationCauseCode<'tcx>

Returns the base obligation, ignoring derived obligations.

source

pub fn peel_derives_with_predicate( &self, ) -> (&ObligationCauseCode<'tcx>, Option<Binder<TyCtxt<'tcx>, TraitPredicate<TyCtxt<'tcx>>>>)

Returns the base obligation and the base trait predicate, if any, ignoring derived obligations.

source

pub fn parent( &self, ) -> Option<(&ObligationCauseCode<'tcx>, Option<Binder<TyCtxt<'tcx>, TraitPredicate<TyCtxt<'tcx>>>>)>

source

pub fn peel_match_impls(&self) -> &ObligationCauseCode<'tcx>

Trait Implementations§

source§

impl<'tcx> Clone for ObligationCauseCode<'tcx>

source§

fn clone(&self) -> ObligationCauseCode<'tcx>

Returns a copy of the value. Read more
1.0.0 · source§

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source. Read more
source§

impl<'tcx> Debug for ObligationCauseCode<'tcx>

source§

fn fmt(&self, f: &mut Formatter<'_>) -> Result<(), Error>

Formats the value using the given formatter. Read more
source§

impl<'tcx, __D> Decodable<__D> for ObligationCauseCode<'tcx>
where __D: TyDecoder<I = TyCtxt<'tcx>>,

source§

impl<'tcx, __E> Encodable<__E> for ObligationCauseCode<'tcx>
where __E: TyEncoder<I = TyCtxt<'tcx>>,

source§

fn encode(&self, __encoder: &mut __E)

source§

impl<'tcx, '__ctx> HashStable<StableHashingContext<'__ctx>> for ObligationCauseCode<'tcx>

source§

fn hash_stable( &self, __hcx: &mut StableHashingContext<'__ctx>, __hasher: &mut StableHasher<SipHasher128>, )

source§

impl<'tcx> PartialEq for ObligationCauseCode<'tcx>

source§

fn eq(&self, other: &ObligationCauseCode<'tcx>) -> bool

Tests for self and other values to be equal, and is used by ==.
1.0.0 · source§

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.
source§

impl<'tcx> TypeFoldable<TyCtxt<'tcx>> for ObligationCauseCode<'tcx>

source§

fn try_fold_with<__F>( self, __folder: &mut __F, ) -> Result<ObligationCauseCode<'tcx>, <__F as FallibleTypeFolder<TyCtxt<'tcx>>>::Error>
where __F: FallibleTypeFolder<TyCtxt<'tcx>>,

The entry point for folding. To fold a value t with a folder f call: t.try_fold_with(f). Read more
source§

fn fold_with<F>(self, folder: &mut F) -> Self
where F: TypeFolder<I>,

A convenient alternative to try_fold_with for use with infallible folders. Do not override this method, to ensure coherence with try_fold_with.
source§

impl<'tcx> TypeVisitable<TyCtxt<'tcx>> for ObligationCauseCode<'tcx>

source§

fn visit_with<__V>( &self, __visitor: &mut __V, ) -> <__V as TypeVisitor<TyCtxt<'tcx>>>::Result
where __V: TypeVisitor<TyCtxt<'tcx>>,

The entry point for visiting. To visit a value t with a visitor v call: t.visit_with(v). Read more
source§

impl<'tcx> Eq for ObligationCauseCode<'tcx>

source§

impl<'tcx> StructuralPartialEq for ObligationCauseCode<'tcx>

Auto Trait Implementations§

§

impl<'tcx> Freeze for ObligationCauseCode<'tcx>

§

impl<'tcx> !RefUnwindSafe for ObligationCauseCode<'tcx>

§

impl<'tcx> !Send for ObligationCauseCode<'tcx>

§

impl<'tcx> !Sync for ObligationCauseCode<'tcx>

§

impl<'tcx> Unpin for ObligationCauseCode<'tcx>

§

impl<'tcx> !UnwindSafe for ObligationCauseCode<'tcx>

Blanket Implementations§

source§

impl<T> Aligned for T

source§

const ALIGN: Alignment = _

Alignment of Self.
source§

impl<T> Any for T
where T: 'static + ?Sized,

source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
source§

impl<T> AnyEq for T
where T: Any + PartialEq,

source§

fn equals(&self, other: &(dyn Any + 'static)) -> bool

source§

fn as_any(&self) -> &(dyn Any + 'static)

source§

impl<T> Borrow<T> for T
where T: ?Sized,

source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
source§

impl<T> CloneToUninit for T
where T: Clone,

source§

unsafe fn clone_to_uninit(&self, dst: *mut T)

🔬This is a nightly-only experimental API. (clone_to_uninit)
Performs copy-assignment from self to dst. Read more
source§

impl<T, R> CollectAndApply<T, R> for T

source§

fn collect_and_apply<I, F>(iter: I, f: F) -> R
where I: Iterator<Item = T>, F: FnOnce(&[T]) -> R,

Equivalent to f(&iter.collect::<Vec<_>>()).

source§

type Output = R

source§

impl<Tcx, T> DepNodeParams<Tcx> for T
where Tcx: DepContext, T: for<'a> HashStable<StableHashingContext<'a>> + Debug,

source§

default fn fingerprint_style() -> FingerprintStyle

source§

default fn to_fingerprint(&self, tcx: Tcx) -> Fingerprint

This method turns the parameters of a DepNodeConstructor into an opaque Fingerprint to be used in DepNode. Not all DepNodeParams support being turned into a Fingerprint (they don’t need to if the corresponding DepNode is anonymous).
source§

default fn to_debug_str(&self, _: Tcx) -> String

source§

default fn recover(_: Tcx, _: &DepNode) -> Option<T>

This method tries to recover the query key from the given DepNode, something which is needed when forcing DepNodes during red-green evaluation. The query system will only call this method if fingerprint_style() is not FingerprintStyle::Opaque. It is always valid to return None here, in which case incremental compilation will treat the query as having changed instead of forcing it.
source§

impl<Q, K> Equivalent<K> for Q
where Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

source§

fn equivalent(&self, key: &K) -> bool

Checks if this value is equivalent to the given key. Read more
source§

impl<Q, K> Equivalent<K> for Q
where Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

source§

fn equivalent(&self, key: &K) -> bool

Checks if this value is equivalent to the given key. Read more
source§

impl<Q, K> Equivalent<K> for Q
where Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

source§

fn equivalent(&self, key: &K) -> bool

Compare self to key and return true if they are equal.
source§

impl<T> Filterable for T

source§

fn filterable( self, filter_name: &'static str, ) -> RequestFilterDataProvider<T, fn(_: DataRequest<'_>) -> bool>

Creates a filterable data provider with the given name for debugging. Read more
source§

impl<T> From<T> for T

source§

fn from(t: T) -> T

Returns the argument unchanged.

source§

impl<T> Instrument for T

source§

fn instrument(self, span: Span) -> Instrumented<Self>

Instruments this type with the provided Span, returning an Instrumented wrapper. Read more
source§

fn in_current_span(self) -> Instrumented<Self>

Instruments this type with the current Span, returning an Instrumented wrapper. Read more
source§

impl<T, U> Into<U> for T
where U: From<T>,

source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

source§

impl<T> IntoEither for T

source§

fn into_either(self, into_left: bool) -> Either<Self, Self>

Converts self into a Left variant of Either<Self, Self> if into_left is true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more
source§

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
where F: FnOnce(&Self) -> bool,

Converts self into a Left variant of Either<Self, Self> if into_left(&self) returns true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more
source§

impl<P> IntoQueryParam<P> for P

source§

impl<'tcx, T> IsSuggestable<'tcx> for T
where T: TypeVisitable<TyCtxt<'tcx>> + TypeFoldable<TyCtxt<'tcx>>,

source§

fn is_suggestable(self, tcx: TyCtxt<'tcx>, infer_suggestable: bool) -> bool

Whether this makes sense to suggest in a diagnostic. Read more
source§

fn make_suggestable( self, tcx: TyCtxt<'tcx>, infer_suggestable: bool, placeholder: Option<Ty<'tcx>>, ) -> Option<T>

source§

impl<T> MaybeResult<T> for T

source§

type Error = !

source§

fn from(_: Result<T, <T as MaybeResult<T>>::Error>) -> T

source§

fn to_result(self) -> Result<T, <T as MaybeResult<T>>::Error>

source§

impl<T> Same for T

source§

type Output = T

Should always be Self
source§

impl<T> ToOwned for T
where T: Clone,

source§

type Owned = T

The resulting type after obtaining ownership.
source§

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
source§

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more
source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

source§

type Error = Infallible

The type returned in the event of a conversion error.
source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.
source§

impl<I, T> TypeVisitableExt<I> for T
where I: Interner, T: TypeVisitable<I>,

source§

fn has_type_flags(&self, flags: TypeFlags) -> bool

source§

fn has_vars_bound_at_or_above(&self, binder: DebruijnIndex) -> bool

Returns true if self has any late-bound regions that are either bound by binder or bound by some binder outside of binder. If binder is ty::INNERMOST, this indicates whether there are any late-bound regions that appear free.
source§

fn error_reported(&self) -> Result<(), <I as Interner>::ErrorGuaranteed>

source§

fn has_vars_bound_above(&self, binder: DebruijnIndex) -> bool

Returns true if this type has any regions that escape binder (and hence are not bound by it).
source§

fn has_escaping_bound_vars(&self) -> bool

Return true if this type has regions that are not a part of the type. For example, for<'a> fn(&'a i32) return false, while fn(&'a i32) would return true. The latter can occur when traversing through the former. Read more
source§

fn has_aliases(&self) -> bool

source§

fn has_opaque_types(&self) -> bool

source§

fn has_coroutines(&self) -> bool

source§

fn references_error(&self) -> bool

source§

fn has_non_region_param(&self) -> bool

source§

fn has_infer_regions(&self) -> bool

source§

fn has_infer_types(&self) -> bool

source§

fn has_non_region_infer(&self) -> bool

source§

fn has_infer(&self) -> bool

source§

fn has_placeholders(&self) -> bool

source§

fn has_non_region_placeholders(&self) -> bool

source§

fn has_param(&self) -> bool

source§

fn has_free_regions(&self) -> bool

“Free” regions in this context means that it has any region that is not (a) erased or (b) late-bound.
source§

fn has_erased_regions(&self) -> bool

source§

fn has_erasable_regions(&self) -> bool

True if there are any un-erased free regions.
source§

fn is_global(&self) -> bool

Indicates whether this value references only ‘global’ generic parameters that are the same regardless of what fn we are in. This is used for caching.
source§

fn has_bound_regions(&self) -> bool

True if there are any late-bound regions
source§

fn has_non_region_bound_vars(&self) -> bool

True if there are any late-bound non-region variables
source§

fn has_bound_vars(&self) -> bool

True if there are any bound variables
source§

fn still_further_specializable(&self) -> bool

Indicates whether this value still has parameters/placeholders/inference variables which could be replaced later, in a way that would change the results of impl specialization.
source§

impl<I, T, U> Upcast<I, U> for T
where U: UpcastFrom<I, T>,

source§

fn upcast(self, interner: I) -> U

source§

impl<I, T> UpcastFrom<I, T> for T

source§

fn upcast_from(from: T, _tcx: I) -> T

source§

impl<V, T> VZip<V> for T
where V: MultiLane<T>,

source§

fn vzip(self) -> V

source§

impl<Tcx, T> Value<Tcx> for T
where Tcx: DepContext,

source§

default fn from_cycle_error( tcx: Tcx, cycle_error: &CycleError, _guar: ErrorGuaranteed, ) -> T

source§

impl<T> WithSubscriber for T

source§

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
where S: Into<Dispatch>,

Attaches the provided Subscriber to this type, returning a WithDispatch wrapper. Read more
source§

fn with_current_subscriber(self) -> WithDispatch<Self>

Attaches the current default Subscriber to this type, returning a WithDispatch wrapper. Read more
source§

impl<'a, T> Captures<'a> for T
where T: ?Sized,

source§

impl<T> ErasedDestructor for T
where T: 'static,

source§

impl<T> MaybeSendSync for T

Layout§

Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...) attributes. Please see the Rust Reference's “Type Layout” chapter for details on type layout guarantees.

Size: 48 bytes

Size for each variant:

  • Misc: 0 bytes
  • SliceOrArrayElem: 0 bytes
  • TupleElem: 0 bytes
  • WhereClause: 19 bytes
  • WhereClauseInExpr: 39 bytes
  • ReferenceOutlivesReferent: 15 bytes
  • ObjectTypeBound: 23 bytes
  • Coercion: 23 bytes
  • AssignmentLhsSized: 0 bytes
  • TupleInitializerSized: 0 bytes
  • StructInitializerSized: 0 bytes
  • VariableType: 11 bytes
  • SizedArgumentType: 11 bytes
  • SizedReturnType: 0 bytes
  • SizedCallReturnType: 0 bytes
  • SizedYieldType: 0 bytes
  • InlineAsmSized: 0 bytes
  • SizedClosureCapture: 7 bytes
  • SizedCoroutineInterior: 7 bytes
  • RepeatElementCopy: 31 bytes
  • FieldSized: 11 bytes
  • ConstSized: 0 bytes
  • SharedStatic: 0 bytes
  • BuiltinDerived: 47 bytes
  • ImplDerived: 15 bytes
  • WellFormedDerived: 47 bytes
  • FunctionArg: 31 bytes
  • CompareImplItem: 15 bytes
  • CheckAssociatedTypeBounds: 15 bytes
  • ExprAssignable: 0 bytes
  • MatchExpressionArm: 15 bytes
  • Pattern: 23 bytes
  • IfExpression: 15 bytes
  • IfExpressionWithNoElse: 0 bytes
  • MainFunctionType: 0 bytes
  • StartFunctionType: 0 bytes
  • LangFunctionType: 7 bytes
  • IntrinsicType: 0 bytes
  • LetElse: 0 bytes
  • MethodReceiver: 0 bytes
  • UnifyReceiver: 15 bytes
  • ReturnNoExpression: 0 bytes
  • ReturnValue: 11 bytes
  • OpaqueReturnType: 23 bytes
  • BlockTailExpression: 19 bytes
  • TrivialBound: 0 bytes
  • AwaitableExpr: 11 bytes
  • ForLoopIterator: 0 bytes
  • QuestionMark: 0 bytes
  • WellFormed: 23 bytes
  • MatchImpl: 39 bytes
  • BinOp: 39 bytes
  • AscribeUserTypeProvePredicate: 11 bytes
  • RustCall: 0 bytes
  • DropImpl: 0 bytes
  • ConstParam: 15 bytes
  • TypeAlias: 31 bytes