Enum ImplAssocItemValue 

pub enum ImplAssocItemValue {
    Provided {
        def_id: DefId,
        is_override: bool,
    },
    DefaultedTy {
        ty: Ty,
    },
    DefaultedFn {
        sig: Option<PolyFnSig>,
    },
    DefaultedConst,
}

Variants

Provided

The item is provided by the trait impl.

Fields

def_id: DefId

The definition of the item in the trait impl. This is an AssocTy, AssocFn or AssocConst.

is_override: bool

Whether the trait had a default value for this item (which is therefore overriden).

DefaultedTy

This is an associated type that reuses the trait declaration default.

Fields

ty: Ty

The default type, with generics properly instantiated. Note that this can be a GAT; relevant generics and predicates can be found in decl_def.

DefaultedFn

This is a non-overriden default method. FIXME: provide properly instantiated generics.

Fields

sig: Option<PolyFnSig>

The signature of the method, if we could translate it. None if the method as generics of its own, because then we’d need to resolve traits but the method doesn’t have it’s own DefId.

DefaultedConst

This is an associated const that reuses the trait declaration default. The default const value can be found in decl_def.

Trait Implementations

impl Clone for ImplAssocItemValue

fn clone(&self) -> ImplAssocItemValue

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for ImplAssocItemValue

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for ImplAssocItemValue

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl JsonSchema for ImplAssocItemValue

fn schema_name() -> String

The name of the generated JSON Schema.

fn schema_id() -> Cow<'static, str>

Returns a string that uniquely identifies the schema produced by this type.

fn json_schema(generator: &mut SchemaGenerator) -> Schema

Generates a JSON Schema for this type.

fn is_referenceable() -> bool

Whether JSON Schemas generated for this type should be re-used where possible using the $ref keyword.

impl Serialize for ImplAssocItemValue

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.