Struct rustc_middle::thir::Ascription

pub struct Ascription<'tcx> {
    pub annotation: CanonicalUserTypeAnnotation<'tcx>,
    pub variance: Variance,
}

Fields

annotation: CanonicalUserTypeAnnotation<'tcx>

variance: Variance

Variance to use when relating the user_ty to the type of the value being matched. Typically, this is Variance::Covariant, since the value being matched must have a type that is some subtype of the ascribed type.

Note that this variance does not apply for any bindings within subpatterns. The type assigned to those bindings must be exactly equal to the user_ty given here.

The only place where this field is not Covariant is when matching constants, where we currently use Contravariant – this is because the constant type just needs to be “comparable” to the type of the input value. So, for example:

match x { "foo" => .. }

requires that &'static str <: T_x, where T_x is the type of x. Really, we should probably be checking for a PartialEq impl instead, but this preserves the behavior of the old type-check for now. See #57280 for details.

Trait Implementations

impl<'tcx> Clone for Ascription<'tcx>

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

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'tcx> Debug for Ascription<'tcx>

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

Formats the value using the given formatter.

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

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

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

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

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

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: 32 bytes