Struct rustc::traits::SelectionContext

pub struct SelectionContext<'cx, 'gcx: 'cx + 'tcx, 'tcx: 'cx> {
    // some fields omitted
}

Unstable (rustc_private)

Methods

impl<'cx, 'gcx, 'tcx> SelectionContext<'cx, 'gcx, 'tcx>

fn new(infcx: &'cx InferCtxt<'cx, 'gcx, 'tcx>) -> SelectionContext<'cx, 'gcx, 'tcx>

fn intercrate(infcx: &'cx InferCtxt<'cx, 'gcx, 'tcx>) -> SelectionContext<'cx, 'gcx, 'tcx>

fn infcx(&self) -> &'cx InferCtxt<'cx, 'gcx, 'tcx>

fn tcx(&self) -> TyCtxt<'cx, 'gcx, 'tcx>

fn param_env(&self) -> &'cx ParameterEnvironment<'tcx>

fn closure_typer(&self) -> &'cx InferCtxt<'cx, 'gcx, 'tcx>

fn projection_mode(&self) -> ProjectionMode

fn select(&mut self, obligation: &TraitObligation<'tcx>) -> SelectionResult<'tcx, Selection<'tcx>>

Unstable (rustc_private)

Attempts to satisfy the obligation. If successful, this will affect the surrounding type environment by performing unification.

fn evaluate_obligation(&mut self, obligation: &PredicateObligation<'tcx>) -> bool

Unstable (rustc_private)

Evaluates whether the obligation obligation can be satisfied (by any means).

fn evaluate_obligation_conservatively(&mut self, obligation: &PredicateObligation<'tcx>) -> bool

Unstable (rustc_private)

Evaluates whether the obligation obligation can be satisfied, and returns false if not certain. However, this is not entirely accurate if inference variables are involved.