Enum SortRes 

pub enum SortRes {
    PrimSort(PrimSort),
    User(FluxDefId),
    SortParam(usize),
    TyParam(DefId),
    SelfParam {
        trait_id: DefId,
    },
    SelfAlias {
        alias_to: DefId,
    },
    SelfParamAssoc {
        trait_id: DefId,
        ident: Ident,
    },
    Adt(DefId),
}

Variants

PrimSort(PrimSort)

A primitive sort.

User(FluxDefId)

A user declared sort.

SortParam(usize)

A sort parameter inside a polymorphic function or data sort.

TyParam(DefId)

The sort associated to a (generic) type parameter

SelfParam

The sort of the Self type, as used within a trait.

Fields

trait_id: DefId

The trait this Self is a generic parameter for.

SelfAlias

The sort of a Self type, as used somewhere other than within a trait.

Fields

alias_to: DefId

The item introducing the Self type alias, e.g., an impl block.

SelfParamAssoc

The sort of an associated type in a trait declaration, e.g:

#[assoc(fn assoc_reft(x: Self::Assoc) -> bool)]
trait MyTrait {
    type Assoc;
}

Fields

trait_id: DefId

ident: Ident

Adt(DefId)

The sort automatically generated for an adt (enum/struct) with a flux::refined_by annotation

Trait Implementations

impl Clone for SortRes

fn clone(&self) -> SortRes

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SortRes

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

Formats the value using the given formatter.

impl Copy for SortRes