Struct rustc_middle::thir::Ascription
source · 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§
source§impl<'tcx> Clone for Ascription<'tcx>
impl<'tcx> Clone for Ascription<'tcx>
source§fn clone(&self) -> Ascription<'tcx>
fn clone(&self) -> Ascription<'tcx>
1.0.0 · source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
source
. Read moresource§impl<'tcx> Debug for Ascription<'tcx>
impl<'tcx> Debug for Ascription<'tcx>
source§impl<'tcx, '__ctx> HashStable<StableHashingContext<'__ctx>> for Ascription<'tcx>
impl<'tcx, '__ctx> HashStable<StableHashingContext<'__ctx>> for Ascription<'tcx>
fn hash_stable( &self, __hcx: &mut StableHashingContext<'__ctx>, __hasher: &mut StableHasher )
Auto Trait Implementations§
impl<'tcx> !RefUnwindSafe for Ascription<'tcx>
impl<'tcx> !Send for Ascription<'tcx>
impl<'tcx> !Sync for Ascription<'tcx>
impl<'tcx> Unpin for Ascription<'tcx>
impl<'tcx> !UnwindSafe for Ascription<'tcx>
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
source§impl<T, R> CollectAndApply<T, R> for T
impl<T, R> CollectAndApply<T, R> for T
source§impl<Tcx, T> DepNodeParams<Tcx> for Twhere
Tcx: DepContext,
T: for<'a> HashStable<StableHashingContext<'a>> + Debug,
impl<Tcx, T> DepNodeParams<Tcx> for Twhere Tcx: DepContext, T: for<'a> HashStable<StableHashingContext<'a>> + Debug,
default fn fingerprint_style() -> FingerprintStyle
source§default fn to_fingerprint(&self, tcx: Tcx) -> Fingerprint
default fn to_fingerprint(&self, tcx: Tcx) -> Fingerprint
default fn to_debug_str(&self, _: Tcx) -> String
source§default fn recover(_: Tcx, _: &DepNode) -> Option<T>
default fn recover(_: Tcx, _: &DepNode) -> Option<T>
DepNode
,
something which is needed when forcing DepNode
s 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<P> IntoQueryParam<P> for P
impl<P> IntoQueryParam<P> for P
fn into_query_param(self) -> P
source§impl<T> MaybeResult<T> for T
impl<T> MaybeResult<T> for T
source§impl<'tcx, T> ToPredicate<'tcx, T> for T
impl<'tcx, T> ToPredicate<'tcx, T> for T
fn to_predicate(self, _tcx: TyCtxt<'tcx>) -> T
source§impl<Tcx, T> Value<Tcx> for Twhere
Tcx: DepContext,
impl<Tcx, T> Value<Tcx> for Twhere Tcx: DepContext,
default fn from_cycle_error( tcx: Tcx, cycle: &[QueryInfo], _guar: ErrorGuaranteed ) -> 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: 32 bytes