[][src]Enum rustc::traits::Reveal

pub enum Reveal {
    UserFacing,
    All,
}
⚙️ This is an internal compiler API. (rustc_private)

This crate is being loaded from the sysroot, a permanently unstable location for private compiler dependencies. It is not intended for general use. Prefer using a public version of this crate from crates.io via Cargo.toml.

Depending on the stage of compilation, we want projection to be more or less conservative.

Variants

UserFacing
⚙️ This is an internal compiler API. (rustc_private)

This crate is being loaded from the sysroot, a permanently unstable location for private compiler dependencies. It is not intended for general use. Prefer using a public version of this crate from crates.io via Cargo.toml.

At type-checking time, we refuse to project any associated type that is marked default. Non-default ("final") types are always projected. This is necessary in general for soundness of specialization. However, we could allow projections in fully-monomorphic cases. We choose not to, because we prefer for default type to force the type definition to be treated abstractly by any consumers of the impl. Concretely, that means that the following example will fail to compile:

trait Assoc {
    type Output;
}

impl<T> Assoc for T {
    default type Output = bool;
}

fn main() {
    let <() as Assoc>::Output = true;
}
All
⚙️ This is an internal compiler API. (rustc_private)

This crate is being loaded from the sysroot, a permanently unstable location for private compiler dependencies. It is not intended for general use. Prefer using a public version of this crate from crates.io via Cargo.toml.

At codegen time, all monomorphic projections will succeed. Also, impl Trait is normalized to the concrete type, which has to be already collected by type-checking.

NOTE: as impl Trait's concrete type should never be observable directly by the user, Reveal::All should not be used by checks which may expose type equality or type contents to the user. There are some exceptions, e.g., around OIBITS and transmute-checking, which expose some details, but not the whole concrete type of the impl Trait.

Trait Implementations

impl Clone for Reveal[src]

impl Copy for Reveal[src]

impl Debug for Reveal[src]

impl Eq for Reveal[src]

impl Hash for Reveal[src]

impl<'__ctx> HashStable<StableHashingContext<'__ctx>> for Reveal[src]

impl<'tcx> Lift<'tcx> for Reveal[src]

type Lifted = Self

⚙️ This is an internal compiler API. (rustc_private)

This crate is being loaded from the sysroot, a permanently unstable location for private compiler dependencies. It is not intended for general use. Prefer using a public version of this crate from crates.io via Cargo.toml.

impl PartialEq<Reveal> for Reveal[src]

impl StructuralEq for Reveal[src]

impl StructuralPartialEq for Reveal[src]

impl<'tcx> TypeFoldable<'tcx> for Reveal[src]

Auto Trait Implementations

impl RefUnwindSafe for Reveal

impl Send for Reveal

impl Sync for Reveal

impl Unpin for Reveal

impl UnwindSafe for Reveal

Blanket Implementations

impl<T> Any for T where
    T: 'static + ?Sized
[src]

impl<T> ArenaAllocatable for T where
    T: Copy
[src]

impl<T> Borrow<T> for T where
    T: ?Sized
[src]

impl<T> BorrowMut<T> for T where
    T: ?Sized
[src]

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

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

impl<T> Erased for T[src]

impl<T> From<T> for T[src]

impl<T, U> Into<U> for T where
    U: From<T>, 
[src]

impl<T> MaybeResult<T> for T[src]

type Error = !

⚙️ This is an internal compiler API. (rustc_private)

This crate is being loaded from the sysroot, a permanently unstable location for private compiler dependencies. It is not intended for general use. Prefer using a public version of this crate from crates.io via Cargo.toml.

impl<E> SpecializationError for E[src]

impl<'tcx, T> Subst<'tcx> for T where
    T: TypeFoldable<'tcx>, 
[src]

impl<T> ToOwned for T where
    T: Clone
[src]

type Owned = T

The resulting type after obtaining ownership.

impl<T, U> TryFrom<U> for T where
    U: Into<T>, 
[src]

type Error = Infallible

The type returned in the event of a conversion error.

impl<T, U> TryInto<U> for T where
    U: TryFrom<T>, 
[src]

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

The type returned in the event of a conversion error.

impl<T> WithConstness for T[src]