pub enum TypeCheckResult {
Equals,
NotEqualAndCantImplicitCast,
Error(Box<Diagnostic>),
RightSideCasted(Box<dyn Expression>),
LeftSideCasted(Box<dyn Expression>),
}
Expand description
The return result after performing types checking with implicit casting option
Variants§
Equals
Both right and left hand sides types are equals without implicit casting
NotEqualAndCantImplicitCast
Both right and left hand sides types are not equals and can’t perform implicit casting
Error(Box<Diagnostic>)
Not Equals and can’t perform implicit casting with error message provided
RightSideCasted(Box<dyn Expression>)
Right hand side type will match the left side after implicit casting
LeftSideCasted(Box<dyn Expression>)
Left hand side type will match the right side after implicit casting
Auto Trait Implementations§
impl !RefUnwindSafe for TypeCheckResult
impl !Send for TypeCheckResult
impl !Sync for TypeCheckResult
impl Unpin for TypeCheckResult
impl !UnwindSafe for TypeCheckResult
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