Type Alias rustc_middle::query::queries::impl_polarity::Value

pub type Value<'tcx> = ImplPolarity;

Aliased Type

enum Value<'tcx> {
    Positive,
    Negative,
    Reservation,
}

Variants

Positive

impl Trait for Type

Negative

impl !Trait for Type

Reservation

#[rustc_reservation_impl] impl Trait for Type

This is a “stability hack”, not a real Rust feature. See #64631 for details.

Implementations

impl ImplPolarity

pub fn flip(&self) -> Option<ImplPolarity>

Flips polarity by turning Positive into Negative and Negative into Positive.

Trait Implementations

impl Clone for ImplPolarity

fn clone(&self) -> ImplPolarity

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for ImplPolarity

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

Formats the value using the given formatter.

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

fn decode(__decoder: &mut __D) -> Self

impl Display for ImplPolarity

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

Formats the value using the given formatter.

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

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

impl EraseType for ImplPolarity

type Result = [u8; 1]

impl Hash for ImplPolarity

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl<'__ctx> HashStable<StableHashingContext<'__ctx>> for ImplPolarity

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

impl<'tcx> Lift<'tcx> for ImplPolarity

type Lifted = ImplPolarity

fn lift_to_tcx(self, _: TyCtxt<'tcx>) -> Option<Self>

impl ParameterizedOverTcx for ImplPolarity

type Value<'tcx> = ImplPolarity

impl PartialEq<ImplPolarity> for ImplPolarity

fn eq(&self, other: &ImplPolarity) -> bool

This method tests for self and other values to be equal, and is used by ==.

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

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<'tcx> Relate<'tcx> for ImplPolarity

fn relate<R: TypeRelation<'tcx>>( relation: &mut R, a: ImplPolarity, b: ImplPolarity ) -> RelateResult<'tcx, ImplPolarity>

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

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

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

fn fold_with<F>(self, folder: &mut F) -> Selfwhere 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.

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

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

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

impl Copy for ImplPolarity

impl Eq for ImplPolarity

impl StructuralEq for ImplPolarity

impl StructuralPartialEq for ImplPolarity

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:1 byte

Size for each variant:

• Positive: 0 bytes
• Negative: 0 bytes
• Reservation: 0 bytes