Enum chalk_parse::ast::LeafGoal
source · pub enum LeafGoal {
DomainGoal {
goal: DomainGoal,
},
UnifyGenericArgs {
a: GenericArg,
b: GenericArg,
},
SubtypeGenericArgs {
a: Ty,
b: Ty,
},
}
Variants§
Trait Implementations§
source§impl PartialEq for LeafGoal
impl PartialEq for LeafGoal
impl Eq for LeafGoal
impl StructuralPartialEq for LeafGoal
Auto Trait Implementations§
impl RefUnwindSafe for LeafGoal
impl Send for LeafGoal
impl Sync for LeafGoal
impl Unpin for LeafGoal
impl UnwindSafe for LeafGoal
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