struct Savi::Compiler::TInfer::TypeAnalysis

Defined in:

savi/compiler/t_infer.cr

Instance Method Summary

Instance methods inherited from struct Savi::Compiler::TInfer::Analysis

[](info : Info) [], []?(info : Info) []?, type_before_reification : MetaType type_before_reification, type_before_reification? : MetaType | Nil type_before_reification?, type_param_bound_spans : Array(Span) type_param_bound_spans, type_param_bound_spans? : Array(Span) | Nil type_param_bound_spans?, type_param_default_spans : Array(Span | Nil) type_param_default_spans, type_param_default_spans? : Array(Span | Nil) | Nil type_param_default_spans?, type_params : Array(TypeParam) type_params, type_params? : Array(TypeParam) | Nil type_params?

Constructor methods inherited from struct Savi::Compiler::TInfer::Analysis

new new

Instance Method Detail

def deciding_reify_of(span : Span, args : Array(MetaType)) : Span #

[View source]