Enum chalk_parse::ast::DomainGoal
source · pub enum DomainGoal {
Show 14 variants
Holds {
where_clause: WhereClause,
},
Normalize {
projection: ProjectionTy,
ty: Ty,
},
TraitRefWellFormed {
trait_ref: TraitRef,
},
TyWellFormed {
ty: Ty,
},
TyFromEnv {
ty: Ty,
},
TraitRefFromEnv {
trait_ref: TraitRef,
},
IsLocal {
ty: Ty,
},
IsUpstream {
ty: Ty,
},
IsFullyVisible {
ty: Ty,
},
LocalImplAllowed {
trait_ref: TraitRef,
},
Compatible,
DownstreamType {
ty: Ty,
},
Reveal,
ObjectSafe {
id: Identifier,
},
}
Variants§
Holds
Fields
§
where_clause: WhereClause
Normalize
TraitRefWellFormed
TyWellFormed
TyFromEnv
TraitRefFromEnv
IsLocal
IsUpstream
IsFullyVisible
LocalImplAllowed
Compatible
DownstreamType
Reveal
ObjectSafe
Fields
§
id: Identifier
Trait Implementations§
source§impl Clone for DomainGoal
impl Clone for DomainGoal
source§fn clone(&self) -> DomainGoal
fn clone(&self) -> DomainGoal
Returns a copy 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 Debug for DomainGoal
impl Debug for DomainGoal
source§impl PartialEq for DomainGoal
impl PartialEq for DomainGoal
source§fn eq(&self, other: &DomainGoal) -> bool
fn eq(&self, other: &DomainGoal) -> bool
This method tests for
self
and other
values to be equal, and is used
by ==
.impl Eq for DomainGoal
impl StructuralPartialEq for DomainGoal
Auto Trait Implementations§
impl Freeze for DomainGoal
impl RefUnwindSafe for DomainGoal
impl Send for DomainGoal
impl Sync for DomainGoal
impl Unpin for DomainGoal
impl UnwindSafe for DomainGoal
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§default unsafe fn clone_to_uninit(&self, dst: *mut T)
default unsafe fn clone_to_uninit(&self, dst: *mut T)
🔬This is a nightly-only experimental API. (
clone_to_uninit
)