[−][src]Struct rustc_mir::hair::cx::Cx

pub struct Cx<'a, 'gcx: 'a + 'tcx, 'tcx: 'a> {
    tcx: TyCtxt<'a, 'gcx, 'tcx>,
    infcx: &'a InferCtxt<'a, 'gcx, 'tcx>,
    pub root_lint_level: NodeId,
    pub param_env: ParamEnv<'gcx>,
    pub identity_substs: &'gcx Substs<'gcx>,
    pub region_scope_tree: Lrc<ScopeTree>,
    pub tables: &'a TypeckTables<'gcx>,
    constness: Constness,
    pub body_owner_kind: BodyOwnerKind,
    check_overflow: 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?

Fields

tcx: TyCtxt<'a, '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?

infcx: &'a InferCtxt<'a, '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?

root_lint_level: NodeId

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

param_env: ParamEnv<'gcx>

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

identity_substs: &'gcx Substs<'gcx>

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

Identity Substs for use with const-evaluation.

region_scope_tree: Lrc<ScopeTree>

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

tables: &'a TypeckTables<'gcx>

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

constness: Constness

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

This is Constness::Const if we are compiling a static, const, or the body of a const fn.

body_owner_kind: BodyOwnerKind

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

What kind of body is being compiled.

check_overflow: 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?

True if this constant/function needs overflow checks.

Methods

`impl<'a, 'gcx, 'tcx> Cx<'a, 'gcx, 'tcx>`
[src]

`pub fn new( infcx: &'a InferCtxt<'a, 'gcx, 'tcx>, src_id: NodeId ) -> Cx<'a, '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?

`impl<'a, 'gcx, 'tcx> Cx<'a, 'gcx, 'tcx>`
[src]

`pub fn mirror<M: Mirror<'tcx>>(&mut self, ast: M) -> M::Output`
[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?

Normalizes ast into the appropriate mirror type.

`pub fn usize_ty(&mut self) -> 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?

`pub fn usize_literal(&mut self, value: u64) -> &'tcx Const<'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?

`pub fn bool_ty(&mut self) -> 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?

`pub fn unit_ty(&mut self) -> 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?

`pub fn true_literal(&mut self) -> &'tcx Const<'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?

`pub fn false_literal(&mut self) -> &'tcx Const<'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?

`pub fn const_eval_literal( &mut self, lit: &'tcx LitKind, ty: Ty<'tcx>, sp: Span, neg: bool ) -> &'tcx Const<'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?

`pub fn pattern_from_hir(&mut self, p: &Pat) -> Pattern<'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?

`pub fn trait_method( &mut self, trait_def_id: DefId, method_name: &str, self_ty: Ty<'tcx>, params: &[Kind<'tcx>] ) -> (Ty<'tcx>, &'tcx Const<'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?

ⓘImportant traits for Vec<u8>
Important traits for Vec<u8>
`impl Write for Vec<u8>`
`pub fn all_fields( &mut self, adt_def: &AdtDef, variant_index: usize ) -> Vec<Field>`
[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?

`pub fn needs_drop(&mut self, ty: Ty<'tcx>) -> 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?

`fn lint_level_of(&self, node_id: NodeId) -> LintLevel`
[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?

`pub fn tcx(&self) -> TyCtxt<'a, '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?

`pub fn tables(&self) -> &'a TypeckTables<'gcx>`
[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?

`pub fn check_overflow(&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?

`pub fn type_moves_by_default(&self, ty: Ty<'tcx>, span: Span) -> 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?

Trait Implementations

`impl<'a, 'gcx: 'a + 'tcx, 'tcx: 'a> Clone for Cx<'a, 'gcx, 'tcx>`
[src]

`fn clone(&self) -> Cx<'a, 'gcx, 'tcx>`
[src]

Returns a copy of the value. Read more

`fn clone_from(&mut self, source: &Self)`
1.0.0
[src]

Performs copy-assignment from source. Read more

Auto Trait Implementations

`impl<'a, 'gcx, 'tcx> !Send for Cx<'a, 'gcx, 'tcx>`

`impl<'a, 'gcx, 'tcx> !Sync for Cx<'a, 'gcx, 'tcx>`

Blanket Implementations

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

`type Owned = T`

`fn to_owned(&self) -> T`
[src]

Creates owned data from borrowed data, usually by cloning. Read more

`fn clone_into(&self, target: &mut T)`
[src]

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

recently added

Uses borrowed data to replace owned data, usually by cloning. Read more

`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

`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<T> MaybeResult for T`
[src]

`fn from_ok(x: 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: 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?

[−][src]Struct rustc_mir::hair::cx::Cx

Fields

Methods

impl<'a, 'gcx, 'tcx> Cx<'a, 'gcx, 'tcx>[src]

pub fn new( infcx: &'a InferCtxt<'a, 'gcx, 'tcx>, src_id: NodeId) -> Cx<'a, 'gcx, 'tcx>[src]

impl<'a, 'gcx, 'tcx> Cx<'a, 'gcx, 'tcx>[src]

pub fn mirror<M: Mirror<'tcx>>(&mut self, ast: M) -> M::Output[src]

pub fn usize_ty(&mut self) -> Ty<'tcx>[src]

pub fn usize_literal(&mut self, value: u64) -> &'tcx Const<'tcx>[src]

pub fn bool_ty(&mut self) -> Ty<'tcx>[src]

pub fn unit_ty(&mut self) -> Ty<'tcx>[src]

pub fn true_literal(&mut self) -> &'tcx Const<'tcx>[src]

pub fn false_literal(&mut self) -> &'tcx Const<'tcx>[src]

pub fn const_eval_literal( &mut self, lit: &'tcx LitKind, ty: Ty<'tcx>, sp: Span, neg: bool) -> &'tcx Const<'tcx>[src]

pub fn pattern_from_hir(&mut self, p: &Pat) -> Pattern<'tcx>[src]

pub fn trait_method( &mut self, trait_def_id: DefId, method_name: &str, self_ty: Ty<'tcx>, params: &[Kind<'tcx>]) -> (Ty<'tcx>, &'tcx Const<'tcx>)[src]

ⓘImportant traits for Vec<u8>Important traits for Vec<u8>impl Write for Vec<u8>pub fn all_fields( &mut self, adt_def: &AdtDef, variant_index: usize) -> Vec<Field>[src]

Important traits for Vec<u8>

pub fn needs_drop(&mut self, ty: Ty<'tcx>) -> bool[src]

fn lint_level_of(&self, node_id: NodeId) -> LintLevel[src]

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

pub fn tables(&self) -> &'a TypeckTables<'gcx>[src]

pub fn check_overflow(&self) -> bool[src]

pub fn type_moves_by_default(&self, ty: Ty<'tcx>, span: Span) -> bool[src]

Trait Implementations

impl<'a, 'gcx: 'a + 'tcx, 'tcx: 'a> Clone for Cx<'a, 'gcx, 'tcx>[src]

fn clone(&self) -> Cx<'a, 'gcx, 'tcx>[src]

fn clone_from(&mut self, source: &Self)1.0.0[src]

Auto Trait Implementations

impl<'a, 'gcx, 'tcx> !Send for Cx<'a, 'gcx, 'tcx>

impl<'a, 'gcx, 'tcx> !Sync for Cx<'a, 'gcx, 'tcx>

Blanket Implementations

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

type Owned = T

fn to_owned(&self) -> T[src]

fn clone_into(&self, target: &mut T)[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<T> MaybeResult for T[src]

fn from_ok(x: T) -> T[src]

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

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

`impl<'a, 'gcx, 'tcx> Cx<'a, 'gcx, 'tcx>`
[src]

`pub fn new( infcx: &'a InferCtxt<'a, 'gcx, 'tcx>, src_id: NodeId ) -> Cx<'a, 'gcx, 'tcx>`
[src]

`impl<'a, 'gcx, 'tcx> Cx<'a, 'gcx, 'tcx>`
[src]

`pub fn mirror<M: Mirror<'tcx>>(&mut self, ast: M) -> M::Output`
[src]

`pub fn usize_ty(&mut self) -> Ty<'tcx>`
[src]

`pub fn usize_literal(&mut self, value: u64) -> &'tcx Const<'tcx>`
[src]

`pub fn bool_ty(&mut self) -> Ty<'tcx>`
[src]

`pub fn unit_ty(&mut self) -> Ty<'tcx>`
[src]

`pub fn true_literal(&mut self) -> &'tcx Const<'tcx>`
[src]

`pub fn false_literal(&mut self) -> &'tcx Const<'tcx>`
[src]

`pub fn const_eval_literal( &mut self, lit: &'tcx LitKind, ty: Ty<'tcx>, sp: Span, neg: bool ) -> &'tcx Const<'tcx>`
[src]

`pub fn pattern_from_hir(&mut self, p: &Pat) -> Pattern<'tcx>`
[src]

`pub fn trait_method( &mut self, trait_def_id: DefId, method_name: &str, self_ty: Ty<'tcx>, params: &[Kind<'tcx>] ) -> (Ty<'tcx>, &'tcx Const<'tcx>)`
[src]

ⓘImportant traits for Vec<u8>
Important traits for Vec<u8>
`impl Write for Vec<u8>`
`pub fn all_fields( &mut self, adt_def: &AdtDef, variant_index: usize ) -> Vec<Field>`
[src]

`pub fn needs_drop(&mut self, ty: Ty<'tcx>) -> bool`
[src]

`fn lint_level_of(&self, node_id: NodeId) -> LintLevel`
[src]

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

`pub fn tables(&self) -> &'a TypeckTables<'gcx>`
[src]

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

`pub fn type_moves_by_default(&self, ty: Ty<'tcx>, span: Span) -> bool`
[src]

`impl<'a, 'gcx: 'a + 'tcx, 'tcx: 'a> Clone for Cx<'a, 'gcx, 'tcx>`
[src]

`fn clone(&self) -> Cx<'a, 'gcx, 'tcx>`
[src]

`fn clone_from(&mut self, source: &Self)`
1.0.0
[src]

`impl<'a, 'gcx, 'tcx> !Send for Cx<'a, 'gcx, 'tcx>`

`impl<'a, 'gcx, 'tcx> !Sync for Cx<'a, 'gcx, 'tcx>`

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

`type Owned = T`

`fn to_owned(&self) -> T`
[src]

`fn clone_into(&self, target: &mut T)`
[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`

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

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

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

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