pub struct Rule {
pub arguments: Vec<TypeResolution>,
pub conclusion: Conclusion,
}
Expand description
A single type rule.
Fields§
§arguments: Vec<TypeResolution>
§conclusion: Conclusion
Trait Implementations§
Source§impl ForDebugWithTypes for &Rule
impl ForDebugWithTypes for &Rule
Source§fn for_debug(
self,
types: &UniqueArena<Type>,
) -> DiagnosticDebug<(Self, &UniqueArena<Type>)>
fn for_debug( self, types: &UniqueArena<Type>, ) -> DiagnosticDebug<(Self, &UniqueArena<Type>)>
Format this type using
core::fmt::Debug
. Read moreAuto Trait Implementations§
impl Freeze for Rule
impl RefUnwindSafe for Rule
impl Send for Rule
impl Sync for Rule
impl Unpin for Rule
impl UnwindSafe for Rule
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