[−][src]Struct rustc::infer::lub::Lub

pub struct Lub<'combine, 'infcx: 'combine, 'gcx: 'infcx + 'tcx, 'tcx: 'infcx> {
    fields: &'combine mut CombineFields<'infcx, 'gcx, 'tcx>,
    a_is_expected: bool,
}

🔬 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?

"Least upper bound" (common supertype)

Fields

fields: &'combine mut CombineFields<'infcx, 'gcx, 'tcx>

🔬 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?

a_is_expected: bool

🔬 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?

Methods

`impl<'combine, 'infcx, 'gcx, 'tcx> Lub<'combine, 'infcx, 'gcx, 'tcx>`
[src]

`pub fn new( fields: &'combine mut CombineFields<'infcx, 'gcx, 'tcx>, a_is_expected: bool ) -> Lub<'combine, 'infcx, 'gcx, 'tcx>`
[src]

🔬 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?

Trait Implementations

`impl<'combine, 'infcx, 'gcx, 'tcx> TypeRelation<'infcx, 'gcx, 'tcx> for Lub<'combine, 'infcx, 'gcx, 'tcx>`
[src]

`fn tag(&self) -> &'static str`
[src]

🔬 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?

Returns a static string we can use for printouts.

`fn tcx(&self) -> TyCtxt<'infcx, 'gcx, 'tcx>`
[src]

🔬 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?

`fn a_is_expected(&self) -> bool`
[src]

🔬 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?

Returns true if the value a is the "expected" type in the relation. Just affects error messages. Read more

`fn relate_with_variance<T: Relate<'tcx>>( &mut self, variance: Variance, a: &T, b: &T ) -> RelateResult<'tcx, T>`
[src]

🔬 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?

Switch variance for the purpose of relating a and b.

`fn tys(&mut self, a: Ty<'tcx>, b: Ty<'tcx>) -> RelateResult<'tcx, Ty<'tcx>>`
[src]

🔬 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?

`fn regions( &mut self, a: Region<'tcx>, b: Region<'tcx> ) -> RelateResult<'tcx, Region<'tcx>>`
[src]

🔬 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?

`fn binders<T>( &mut self, a: &Binder<T>, b: &Binder<T> ) -> RelateResult<'tcx, Binder<T>> where T: Relate<'tcx>,`
[src]

🔬 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?

`fn with_cause<F, R>(&mut self, _cause: Cause, f: F) -> R where F: FnOnce(&mut Self) -> R,`
[src]

🔬 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?

`fn relate<T: Relate<'tcx>>(&mut self, a: &T, b: &T) -> RelateResult<'tcx, T>`
[src]

🔬 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?

Generic relation routine suitable for most anything.

`fn relate_item_substs( &mut self, item_def_id: DefId, a_subst: &'tcx Substs<'tcx>, b_subst: &'tcx Substs<'tcx> ) -> RelateResult<'tcx, &'tcx Substs<'tcx>>`
[src]

🔬 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?

Relate the two substitutions for the given item. The default is to look up the variance for the item and proceed accordingly. Read more

`impl<'combine, 'infcx, 'gcx, 'tcx> LatticeDir<'infcx, 'gcx, 'tcx> for Lub<'combine, 'infcx, 'gcx, 'tcx>`
[src]

`fn infcx(&self) -> &'infcx InferCtxt<'infcx, 'gcx, 'tcx>`
[src]

🔬 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?

`fn cause(&self) -> &ObligationCause<'tcx>`
[src]

🔬 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?

`fn relate_bound( &mut self, v: Ty<'tcx>, a: Ty<'tcx>, b: Ty<'tcx> ) -> RelateResult<'tcx, ()>`
[src]

🔬 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?

Auto Trait Implementations

`impl<'combine, 'infcx, 'gcx, 'tcx> !Send for Lub<'combine, 'infcx, 'gcx, 'tcx>`

`impl<'combine, 'infcx, 'gcx, 'tcx> !Sync for Lub<'combine, 'infcx, 'gcx, 'tcx>`

Blanket Implementations

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

`fn from_ok(T) -> T`
[src]

🔬 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?

`fn map_same<F>(Self, F) -> T where F: FnOnce(T) -> T,`
[src]

🔬 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?

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

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

`fn from(t: T) -> T`
[src]

Performs the conversion.

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

`fn into(self) -> U`
[src]

Performs the conversion.

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

`type Error = !`

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

The type returned in the event of a conversion error.

`fn try_from(value: U) -> Result<T, <T as TryFrom>::Error>`
[src]

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

Performs the conversion.

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

ⓘImportant traits for &'a mut R
Important traits for &'a mut R
`impl<'a, R> Read for &'a mut R where R: Read + ?Sized, impl<'a, W> Write for &'a mut W where W: Write + ?Sized, impl<'a, I> Iterator for &'a mut I where I: Iterator + ?Sized, type Item = ::Item;`
`fn borrow(&self) -> &T`
[src]

Immutably borrows from an owned value. Read more

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

`type Error = >::Error`

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

The type returned in the event of a conversion error.

`fn try_into(self) -> Result<U, >::Error>`
[src]

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

Performs the conversion.

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

ⓘImportant traits for &'a mut R
Important traits for &'a mut R
`impl<'a, R> Read for &'a mut R where R: Read + ?Sized, impl<'a, W> Write for &'a mut W where W: Write + ?Sized, impl<'a, I> Iterator for &'a mut I where I: Iterator + ?Sized, type Item = ::Item;`
`fn borrow_mut(&mut self) -> &mut T`
[src]

Mutably borrows from an owned value. Read more

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

`fn get_type_id(&self) -> TypeId`
[src]

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

this method will likely be replaced by an associated static

Gets the TypeId of self. Read more

`impl<E> SpecializationError for E`
[src]

`fn not_found<S, T>(trait_name: &'static str, method_name: &'static str) -> E where T: ?Sized,`
[src]

🔬 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?

Create an error for a missing method specialization. Defaults to panicking with type, trait & method names. S is the encoder/decoder state type, T is the type being encoded/decoded, and the arguments are the names of the trait and method that should've been overridden. Read more

[−][src]Struct rustc::infer::lub::Lub

Fields

Methods

impl<'combine, 'infcx, 'gcx, 'tcx> Lub<'combine, 'infcx, 'gcx, 'tcx>[src]

pub fn new( fields: &'combine mut CombineFields<'infcx, 'gcx, 'tcx>, a_is_expected: bool) -> Lub<'combine, 'infcx, 'gcx, 'tcx>[src]

Trait Implementations

impl<'combine, 'infcx, 'gcx, 'tcx> TypeRelation<'infcx, 'gcx, 'tcx> for Lub<'combine, 'infcx, 'gcx, 'tcx>[src]

fn tag(&self) -> &'static str[src]

fn tcx(&self) -> TyCtxt<'infcx, 'gcx, 'tcx>[src]

fn a_is_expected(&self) -> bool[src]

fn relate_with_variance<T: Relate<'tcx>>( &mut self, variance: Variance, a: &T, b: &T) -> RelateResult<'tcx, T>[src]

fn tys(&mut self, a: Ty<'tcx>, b: Ty<'tcx>) -> RelateResult<'tcx, Ty<'tcx>>[src]

fn regions( &mut self, a: Region<'tcx>, b: Region<'tcx>) -> RelateResult<'tcx, Region<'tcx>>[src]

fn binders<T>( &mut self, a: &Binder<T>, b: &Binder<T>) -> RelateResult<'tcx, Binder<T>> where T: Relate<'tcx>, [src]

fn with_cause<F, R>(&mut self, _cause: Cause, f: F) -> R where F: FnOnce(&mut Self) -> R, [src]

fn relate<T: Relate<'tcx>>(&mut self, a: &T, b: &T) -> RelateResult<'tcx, T>[src]

fn relate_item_substs( &mut self, item_def_id: DefId, a_subst: &'tcx Substs<'tcx>, b_subst: &'tcx Substs<'tcx>) -> RelateResult<'tcx, &'tcx Substs<'tcx>>[src]

impl<'combine, 'infcx, 'gcx, 'tcx> LatticeDir<'infcx, 'gcx, 'tcx> for Lub<'combine, 'infcx, 'gcx, 'tcx>[src]

fn infcx(&self) -> &'infcx InferCtxt<'infcx, 'gcx, 'tcx>[src]

fn cause(&self) -> &ObligationCause<'tcx>[src]

fn relate_bound( &mut self, v: Ty<'tcx>, a: Ty<'tcx>, b: Ty<'tcx>) -> RelateResult<'tcx, ()>[src]

Auto Trait Implementations

impl<'combine, 'infcx, 'gcx, 'tcx> !Send for Lub<'combine, 'infcx, 'gcx, 'tcx>

impl<'combine, 'infcx, 'gcx, 'tcx> !Sync for Lub<'combine, 'infcx, 'gcx, 'tcx>

Blanket Implementations

impl<T> MaybeResult for T[src]

fn from_ok(T) -> T[src]

fn map_same<F>(Self, F) -> T where F: FnOnce(T) -> T, [src]

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

impl<T> From for T[src]

fn from(t: T) -> T[src]

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

fn into(self) -> U[src]

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

type Error = !

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>[src]

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

ⓘImportant traits for &'a mut RImportant traits for &'a mut Rimpl<'a, R> Read for &'a mut R where R: Read + ?Sized, impl<'a, W> Write for &'a mut W where W: Write + ?Sized, impl<'a, I> Iterator for &'a mut I where I: Iterator + ?Sized, type Item = <I as Iterator>::Item;fn borrow(&self) -> &T[src]

Important traits for &'a mut R

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

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

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>[src]

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

Important traits for &'a mut R

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

fn get_type_id(&self) -> TypeId[src]

impl<E> SpecializationError for E[src]

fn not_found<S, T>(trait_name: &'static str, method_name: &'static str) -> E where T: ?Sized, [src]

impl<T> Erased for T[src]

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

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

impl<T> Erased for T

`impl<'combine, 'infcx, 'gcx, 'tcx> Lub<'combine, 'infcx, 'gcx, 'tcx>`
[src]

`pub fn new( fields: &'combine mut CombineFields<'infcx, 'gcx, 'tcx>, a_is_expected: bool ) -> Lub<'combine, 'infcx, 'gcx, 'tcx>`
[src]

`impl<'combine, 'infcx, 'gcx, 'tcx> TypeRelation<'infcx, 'gcx, 'tcx> for Lub<'combine, 'infcx, 'gcx, 'tcx>`
[src]

`fn tag(&self) -> &'static str`
[src]

`fn tcx(&self) -> TyCtxt<'infcx, 'gcx, 'tcx>`
[src]

`fn a_is_expected(&self) -> bool`
[src]

`fn relate_with_variance<T: Relate<'tcx>>( &mut self, variance: Variance, a: &T, b: &T ) -> RelateResult<'tcx, T>`
[src]

`fn tys(&mut self, a: Ty<'tcx>, b: Ty<'tcx>) -> RelateResult<'tcx, Ty<'tcx>>`
[src]

`fn regions( &mut self, a: Region<'tcx>, b: Region<'tcx> ) -> RelateResult<'tcx, Region<'tcx>>`
[src]

`fn binders<T>( &mut self, a: &Binder<T>, b: &Binder<T> ) -> RelateResult<'tcx, Binder<T>> where T: Relate<'tcx>,`
[src]

`fn with_cause<F, R>(&mut self, _cause: Cause, f: F) -> R where F: FnOnce(&mut Self) -> R,`
[src]

`fn relate<T: Relate<'tcx>>(&mut self, a: &T, b: &T) -> RelateResult<'tcx, T>`
[src]

`fn relate_item_substs( &mut self, item_def_id: DefId, a_subst: &'tcx Substs<'tcx>, b_subst: &'tcx Substs<'tcx> ) -> RelateResult<'tcx, &'tcx Substs<'tcx>>`
[src]

`impl<'combine, 'infcx, 'gcx, 'tcx> LatticeDir<'infcx, 'gcx, 'tcx> for Lub<'combine, 'infcx, 'gcx, 'tcx>`
[src]

`fn infcx(&self) -> &'infcx InferCtxt<'infcx, 'gcx, 'tcx>`
[src]

`fn cause(&self) -> &ObligationCause<'tcx>`
[src]

`fn relate_bound( &mut self, v: Ty<'tcx>, a: Ty<'tcx>, b: Ty<'tcx> ) -> RelateResult<'tcx, ()>`
[src]

`impl<'combine, 'infcx, 'gcx, 'tcx> !Send for Lub<'combine, 'infcx, 'gcx, 'tcx>`

`impl<'combine, 'infcx, 'gcx, 'tcx> !Sync for Lub<'combine, 'infcx, 'gcx, 'tcx>`

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

`fn from_ok(T) -> T`
[src]

`fn map_same<F>(Self, F) -> T where F: FnOnce(T) -> T,`
[src]

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

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

`fn from(t: T) -> T`
[src]

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

`fn into(self) -> U`
[src]

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

`type Error = !`

`fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>`
[src]

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

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

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

`fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>`
[src]

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

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

`fn get_type_id(&self) -> TypeId`
[src]

`impl<E> SpecializationError for E`
[src]

`fn not_found<S, T>(trait_name: &'static str, method_name: &'static str) -> E where T: ?Sized,`
[src]

`impl<T> Erased for T`
[src]

`impl<T> Send for T where T: ?Sized,`
[src]

`impl<T> Sync for T where T: ?Sized,`
[src]

`impl<T> Erased for T`