Struct stc_ts_file_analyzer::analyzer::generic::InferData

pub(super) struct InferData {
    type_params: FxHashMap<Id, InferenceInfo>,
    errored: FxHashSet<Id>,
    defaults: FxHashMap<Id, Type>,
    dejavu: Vec<(Type, Type)>,
    skip_generalization: bool,
    priority: InferencePriority,
    contravariant: bool,
}

Fields

type_params: FxHashMap<Id, InferenceInfo>

Inferred type parameters

errored: FxHashSet<Id>

defaults: FxHashMap<Id, Type>

For the code below, we can know that T defaults to unknown while inferring type of function parameters. We cannot know the type before it. So we store the default type while it.

declare function one<T>(handler: (t: T) => void): T

var empty = one(() => {
});

dejavu: Vec<(Type, Type)>

skip_generalization: bool

priority: InferencePriority

contravariant: bool

Trait Implementations

impl Debug for InferData

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

Formats the value using the given formatter.

impl Default for InferData

fn default() -> Self

Returns the “default value” for a type.