pub struct InferCtxtRootBuilder<'a, 'genv, 'tcx> {
genv: GlobalEnv<'genv, 'tcx>,
opts: InferOpts,
params: Vec<(Var, Sort)>,
infcx: &'a InferCtxt<'tcx>,
dummy_kvars: bool,
}Fields§
§genv: GlobalEnv<'genv, 'tcx>§opts: InferOpts§params: Vec<(Var, Sort)>§infcx: &'a InferCtxt<'tcx>§dummy_kvars: boolImplementations§
Source§impl<'genv, 'tcx> InferCtxtRootBuilder<'_, 'genv, 'tcx>
impl<'genv, 'tcx> InferCtxtRootBuilder<'_, 'genv, 'tcx>
pub fn with_dummy_kvars(self) -> Self
pub fn with_const_generics(self, def_id: DefId) -> QueryResult<Self>
pub fn with_refinement_generics( self, def_id: DefId, args: &[GenericArg], ) -> QueryResult<Self>
pub fn identity_for_item(self, def_id: DefId) -> QueryResult<Self>
pub fn build(self) -> QueryResult<InferCtxtRoot<'genv, 'tcx>>
Auto Trait Implementations§
impl<'a, 'genv, 'tcx> Freeze for InferCtxtRootBuilder<'a, 'genv, 'tcx>
impl<'a, 'genv, 'tcx> !RefUnwindSafe for InferCtxtRootBuilder<'a, 'genv, 'tcx>
impl<'a, 'genv, 'tcx> !Send for InferCtxtRootBuilder<'a, 'genv, 'tcx>
impl<'a, 'genv, 'tcx> !Sync for InferCtxtRootBuilder<'a, 'genv, 'tcx>
impl<'a, 'genv, 'tcx> Unpin for InferCtxtRootBuilder<'a, 'genv, 'tcx>
impl<'a, 'genv, 'tcx> !UnwindSafe for InferCtxtRootBuilder<'a, '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