Struct rusttyc::types::Partial [−][src]
Expand description
Partial is a container for a Variant and the least arity a particular instance of this variant currently has. Only used for Variant::meet().
The least_arity
indicates how many children this instance of the variance has according to the current state of the type checker.
The value might increase in the future but never decrease.
Fields
variant: V
Expand description
The variant represented by this Partial
.
least_arity: usize
Expand description
The least number of children the variant will have after completing the type check.
Trait Implementations
Auto Trait Implementations
impl<V> RefUnwindSafe for Partial<V> where
V: RefUnwindSafe,
V: RefUnwindSafe,
impl<V> Send for Partial<V> where
V: Send,
V: Send,
impl<V> Sync for Partial<V> where
V: Sync,
V: Sync,
impl<V> Unpin for Partial<V> where
V: Unpin,
V: Unpin,
impl<V> UnwindSafe for Partial<V> where
V: UnwindSafe,
V: UnwindSafe,
Blanket Implementations
impl<T> BorrowMut<T> for T where
T: ?Sized,
[src]
impl<T> BorrowMut<T> for T where
T: ?Sized,
[src]pub fn borrow_mut(&mut self) -> &mut T
[src]
pub fn borrow_mut(&mut self) -> &mut T
[src]Mutably borrows from an owned value. Read more
impl<T> ToOwned for T where
T: Clone,
[src]
impl<T> ToOwned for T where
T: Clone,
[src]type Owned = T
type Owned = T
The resulting type after obtaining ownership.
pub fn to_owned(&self) -> T
[src]
pub fn to_owned(&self) -> T
[src]Creates owned data from borrowed data, usually by cloning. Read more
pub fn clone_into(&self, target: &mut T)
[src]
pub fn clone_into(&self, target: &mut T)
[src]🔬 This is a nightly-only experimental API. (toowned_clone_into
)
recently added
Uses borrowed data to replace owned data, usually by cloning. Read more