Struct rustc::infer::unify_key::RegionVidKey

pub struct RegionVidKey {
    pub min_vid: RegionVid,
}

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

Fields

min_vid: RegionVid

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

The minimum region vid in the unification set. This is needed to have a canonical name for a type to prevent infinite recursion.

Trait Implementations

impl PartialEq for RegionVidKey

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

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

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

This method tests for !=.

impl Copy for RegionVidKey

impl Clone for RegionVidKey

fn clone(&self) -> RegionVidKey

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for RegionVidKey

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

Formats the value using the given formatter.

impl UnifyValue for RegionVidKey

type Error = NoError

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

Defines the type to return when merging of two values fails. If merging is infallible, use the special struct NoError found in this crate, which unlocks various more convenient methods on the unification table.

fn unify_values(value1: &Self, value2: &Self) -> Result<Self, NoError>

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

Given two values, produce a new value that combines them. If that is not possible, produce an error.