Trait rustc_utils::mir::mutability::MutabilityExt

pub trait MutabilityExt {
    // Required method
    fn is_permissive_as(self, other: Self) -> bool;
}

Required Methods

fn is_permissive_as(self, other: Self) -> bool

Returns true if self is equally or more permissive than other, i.e. where Not is more permissive than Mut.

This corresponds to the relation $\omega_1 \lesssim \omega_2$ in the Flowistry paper.

Object Safety

This trait is not object safe.

Implementations on Foreign Types

impl MutabilityExt for Mutability

fn is_permissive_as(self, other: Self) -> bool

Implementors