[−][src]Enum rustc_middle::ty::adjustment::AllowTwoPhase
At least for initial deployment, we want to limit two-phase borrows to only a few specific cases. Right now, those are mostly "things that desugar" into method calls:
- using
x.some_method()syntax, where some_method takes&mut self, - using
Foo::some_method(&mut x, ...)syntax, - binary assignment operators (
+=,-=,*=, etc.). Anything else should be rejected until generalized two-phase borrow support is implemented. Right now, dataflow can't handle the general case where there is more than one use of a mutable borrow, and we don't want to accept too much new code via two-phase borrows, so we try to limit where we create two-phase capable mutable borrows. See #49434 for tracking.
Variants
Trait Implementations
impl Clone for AllowTwoPhase[src]
pub fn clone(&self) -> AllowTwoPhase[src]
pub fn clone_from(&mut self, source: &Self)1.0.0[src]
impl Copy for AllowTwoPhase[src]
impl Debug for AllowTwoPhase[src]
impl<'tcx, __D: TyDecoder<'tcx>> Decodable<__D> for AllowTwoPhase[src]
impl<'tcx, __E: TyEncoder<'tcx>> Encodable<__E> for AllowTwoPhase[src]
impl<'__ctx> HashStable<StableHashingContext<'__ctx>> for AllowTwoPhase[src]
pub fn hash_stable(
&self,
__hcx: &mut StableHashingContext<'__ctx>,
__hasher: &mut StableHasher
)[src]
&self,
__hcx: &mut StableHashingContext<'__ctx>,
__hasher: &mut StableHasher
)
impl PartialEq<AllowTwoPhase> for AllowTwoPhase[src]
pub fn eq(&self, other: &AllowTwoPhase) -> bool[src]
#[must_use]pub fn ne(&self, other: &Rhs) -> bool1.0.0[src]
impl StructuralPartialEq for AllowTwoPhase[src]
Auto Trait Implementations
impl RefUnwindSafe for AllowTwoPhase
impl Send for AllowTwoPhase
impl Sync for AllowTwoPhase
impl Unpin for AllowTwoPhase
impl UnwindSafe for AllowTwoPhase
Blanket Implementations
impl<T> Any for T where
T: 'static + ?Sized, [src]
T: 'static + ?Sized,
impl<'tcx, T> ArenaAllocatable<'tcx, ()> for T where
T: Copy, [src]
T: Copy,
pub fn allocate_on(Self, &'a Arena<'tcx>) -> &'a mut T[src]
pub fn allocate_from_iter(
&'a Arena<'tcx>,
impl IntoIterator<Item = T>
) -> &'a mut [T][src]
&'a Arena<'tcx>,
impl IntoIterator<Item = T>
) -> &'a mut [T]
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> ToOwned for T where
T: Clone, [src]
T: Clone,
type Owned = T
The resulting type after obtaining ownership.
pub fn to_owned(&self) -> T[src]
pub fn clone_into(&self, target: &mut T)[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.