[−][src]Struct rustc_middle::mir::BorrowCheckResult
Fields
concrete_opaque_types: FxHashMap<DefId, ResolvedOpaqueTy<'tcx>>
All the opaque types that are restricted to concrete types
by this function. Unlike the value in TypeckResults
, this has
unerased regions.
closure_requirements: Option<ClosureRegionRequirements<'tcx>>
used_mut_upvars: SmallVec<[Field; 8]>
Trait Implementations
impl<'tcx> ArenaAllocatable<'tcx, BorrowCheckResult<'tcx>> for BorrowCheckResult<'tcx>
[src]
pub fn allocate_on<'a>(self, arena: &'a Arena<'tcx>) -> &'a mut Self
[src]
pub fn allocate_from_iter<'a>(
arena: &'a Arena<'tcx>,
iter: impl IntoIterator<Item = Self>
) -> &'a mut [Self]ⓘ
[src]
arena: &'a Arena<'tcx>,
iter: impl IntoIterator<Item = Self>
) -> &'a mut [Self]ⓘ
impl<'tcx> Debug for BorrowCheckResult<'tcx>
[src]
impl<'tcx, D: TyDecoder<'tcx>> Decodable<D> for &'tcx BorrowCheckResult<'tcx>
[src]
impl<'tcx, __D: TyDecoder<'tcx>> Decodable<__D> for BorrowCheckResult<'tcx>
[src]
impl<'tcx, E: TyEncoder<'tcx>> Encodable<E> for &'tcx BorrowCheckResult<'tcx>
[src]
impl<'tcx, __E: TyEncoder<'tcx>> Encodable<__E> for BorrowCheckResult<'tcx>
[src]
impl<'tcx, '__ctx> HashStable<StableHashingContext<'__ctx>> for BorrowCheckResult<'tcx>
[src]
pub fn hash_stable(
&self,
__hcx: &mut StableHashingContext<'__ctx>,
__hasher: &mut StableHasher
)
[src]
&self,
__hcx: &mut StableHashingContext<'__ctx>,
__hasher: &mut StableHasher
)
impl<'tcx, D: TyDecoder<'tcx>> RefDecodable<'tcx, D> for BorrowCheckResult<'tcx>
[src]
Auto Trait Implementations
impl<'tcx> !RefUnwindSafe for BorrowCheckResult<'tcx>
[src]
impl<'tcx> !Send for BorrowCheckResult<'tcx>
[src]
impl<'tcx> !Sync for BorrowCheckResult<'tcx>
[src]
impl<'tcx> Unpin for BorrowCheckResult<'tcx>
[src]
impl<'tcx> !UnwindSafe for BorrowCheckResult<'tcx>
[src]
Blanket Implementations
impl<T> Any for T where
T: 'static + ?Sized,
[src]
T: 'static + ?Sized,
impl<T> Borrow<T> for T where
T: ?Sized,
[src]
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized,
[src]
T: ?Sized,
pub fn borrow_mut(&mut self) -> &mut T
[src]
impl<'a, T> Captures<'a> for T where
T: ?Sized,
[src]
T: ?Sized,
impl<T> From<T> for T
[src]
impl<T, U> Into<U> for T where
U: From<T>,
[src]
U: From<T>,
impl<T> MaybeResult<T> for T
[src]
type Error = !
pub fn from(Result<T, <T as MaybeResult<T>>::Error>) -> T
[src]
pub fn to_result(self) -> Result<T, <T as MaybeResult<T>>::Error>
[src]
impl<T, U> TryFrom<U> for T where
U: Into<T>,
[src]
U: Into<T>,
type Error = Infallible
The type returned in the event of a conversion error.
pub fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>
[src]
impl<T, U> TryInto<U> for T where
U: TryFrom<T>,
[src]
U: TryFrom<T>,
type Error = <U as TryFrom<T>>::Error
The type returned in the event of a conversion error.