pub(crate) struct CrateDesugar<'genv, 'tcx> {
pub(crate) genv: GlobalEnv<'genv, 'tcx>,
pub(crate) fhir: FluxItems<'genv>,
pub(crate) resolver_output: &'genv ResolverOutput,
pub(crate) err: Option<ErrorGuaranteed>,
}Fields§
§genv: GlobalEnv<'genv, 'tcx>§fhir: FluxItems<'genv>§resolver_output: &'genv ResolverOutput§err: Option<ErrorGuaranteed>Implementations§
Source§impl<'genv, 'tcx> CrateDesugar<'genv, 'tcx>
impl<'genv, 'tcx> CrateDesugar<'genv, 'tcx>
pub(crate) fn new( genv: GlobalEnv<'genv, 'tcx>, fhir: FluxItems<'genv>, resolver_output: &'genv ResolverOutput, ) -> Self
Source§impl CrateDesugar<'_, '_>
impl CrateDesugar<'_, '_>
pub(crate) fn desugar_flux_items(&mut self, specs: &Specs)
pub(crate) fn desugar_func_defn( &mut self, def_id: FluxLocalDefId, func: &SpecFunc, ) -> Result<(), ErrorGuaranteed>
pub(crate) fn desugar_qualifier( &mut self, def_id: FluxLocalDefId, qualifier: &Qualifier, ) -> Result<(), ErrorGuaranteed>
Auto Trait Implementations§
impl<'genv, 'tcx> Freeze for CrateDesugar<'genv, 'tcx>
impl<'genv, 'tcx> !RefUnwindSafe for CrateDesugar<'genv, 'tcx>
impl<'genv, 'tcx> !Send for CrateDesugar<'genv, 'tcx>
impl<'genv, 'tcx> !Sync for CrateDesugar<'genv, 'tcx>
impl<'genv, 'tcx> Unpin for CrateDesugar<'genv, 'tcx>
impl<'genv, 'tcx> !UnwindSafe for CrateDesugar<'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