struct Savi::Compiler::Infer::TypeAnalysis

Defined in:

savi/compiler/infer.cr

Instance Method Summary

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

[](info : Info) [], []?(info : Info) []?, type_param_bound_cap_sets : Array(Array(Cap)) type_param_bound_cap_sets, type_param_bound_cap_sets? : Array(Array(Cap)) | Nil type_param_bound_cap_sets?, 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?, type_partial_reification_sets : Hash(Array(Cap), Int32) type_partial_reification_sets, type_partial_reification_sets? : Hash(Array(Cap), Int32) | Nil type_partial_reification_sets?, type_partial_reifications : Array(MetaType) type_partial_reifications, type_partial_reifications? : Array(MetaType) | Nil type_partial_reifications?

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

new new

Instance Method Detail

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

[View source]
def deciding_reify_of(span : Span, args : Array(MetaType)) : Span #

[View source]