pub struct OwnedTypeState {
pub trace_stack: TraceStack,
pub diags: DiagList,
/* private fields */
}Expand description
State of the type inference algorithm
Fields§
§trace_stack: TraceStack§diags: DiagListImplementations§
Source§impl OwnedTypeState
impl OwnedTypeState
Sourcepub fn fresh() -> Self
pub fn fresh() -> Self
Create a fresh type state, in most cases, this should be .create_child of an existing type state
pub fn create_child(&self) -> Self
Trait Implementations§
Source§impl Clone for OwnedTypeState
impl Clone for OwnedTypeState
Source§fn clone(&self) -> OwnedTypeState
fn clone(&self) -> OwnedTypeState
Returns a duplicate of the value. Read more
1.0.0 · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source. Read moreSource§impl<'de> Deserialize<'de> for OwnedTypeState
impl<'de> Deserialize<'de> for OwnedTypeState
Source§fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
Deserialize this value from the given Serde deserializer. Read more
Source§impl Serialize for OwnedTypeState
impl Serialize for OwnedTypeState
Source§impl SerializedSize for OwnedTypeState
impl SerializedSize for OwnedTypeState
Auto Trait Implementations§
impl !Freeze for OwnedTypeState
impl RefUnwindSafe for OwnedTypeState
impl Send for OwnedTypeState
impl Sync for OwnedTypeState
impl Unpin for OwnedTypeState
impl UnwindSafe for OwnedTypeState
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> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§impl<T> Instrument for T
impl<T> Instrument for T
Source§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
Source§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
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