pub struct InferCtxtRoot<'genv, 'tcx> {
pub genv: GlobalEnv<'genv, 'tcx>,
inner: RefCell<InferCtxtInner>,
refine_tree: RefineTree,
opts: InferOpts,
}Fields§
§genv: GlobalEnv<'genv, 'tcx>§inner: RefCell<InferCtxtInner>§refine_tree: RefineTree§opts: InferOptsImplementations§
Source§impl<'genv, 'tcx> InferCtxtRoot<'genv, 'tcx>
impl<'genv, 'tcx> InferCtxtRoot<'genv, 'tcx>
pub fn infcx<'a>( &'a mut self, def_id: DefId, region_infcx: &'a InferCtxt<'tcx>, ) -> InferCtxt<'a, 'genv, 'tcx>
pub fn fresh_kvar_in_scope( &self, binders: &[BoundVariableKinds], scope: &Scope, encoding: KVarEncoding, ) -> Expr
pub fn execute_fixpoint_query( self, cache: &mut FixQueryCache, def_id: MaybeExternId, ext: &'static str, ) -> QueryResult<Vec<Tag>>
pub fn split(self) -> (RefineTree, KVarGen)
Auto Trait Implementations§
impl<'genv, 'tcx> !Freeze for InferCtxtRoot<'genv, 'tcx>
impl<'genv, 'tcx> !RefUnwindSafe for InferCtxtRoot<'genv, 'tcx>
impl<'genv, 'tcx> !Send for InferCtxtRoot<'genv, 'tcx>
impl<'genv, 'tcx> !Sync for InferCtxtRoot<'genv, 'tcx>
impl<'genv, 'tcx> Unpin for InferCtxtRoot<'genv, 'tcx>
impl<'genv, 'tcx> !UnwindSafe for InferCtxtRoot<'genv, 'tcx>
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read more