pub enum OverloadReq<'ctx> {
    Enum(TypeReq<'ctx>),
    Subprog(SignatureReq<'ctx>),
}
Expand description

A type requirement on an overloaded entity.

To perform overload resolution, an overload requirement is imposed on a set of definitions. All definitions that match are returned.

Variants

Enum(TypeReq<'ctx>)

Definitions must resolve to an enum of the given type.

Subprog(SignatureReq<'ctx>)

Definitions must resolve to a subprogram that satisfies the given signature.

Implementations

Check if a type matches this requirement.

Trait Implementations

Formats the value using the given formatter. Read more

Auto Trait Implementations

Blanket Implementations

Gets the TypeId of self. Read more

Immutably borrows from an owned value. Read more

Mutably borrows from an owned value. Read more

Performs the conversion.

Performs the conversion.

The alignment of pointer.

The type for initializers.

Initializes a with the given initializer. Read more

Dereferences the given pointer. Read more

Mutably dereferences the given pointer. Read more

Drops the object pointed to by the given pointer. Read more

The type returned in the event of a conversion error.

Performs the conversion.

The type returned in the event of a conversion error.

Performs the conversion.