struct Savi::Compiler::Infer::Conduit

• Savi::Compiler::Infer::Conduit
• Struct
• Value
• Object

Defined in:

savi/compiler/infer/conduit.cr

Constructors

• .new(inner : Savi::Compiler::Infer::Conduit::Inner)

Class Method Summary

• .aliased(info)
• .array_literal_element_antecedent(array_info)
• .consumed(info)
• .direct(info)
• .union(infos)

Instance Method Summary

• #directly_references?(other_info : Info) : Bool
• #flatten : Array(Conduit)
• #inner : Inner
• #resolve!(ctx : Context, type_check : TypeCheck::ForReifiedFunc) : MetaType | Nil
• #resolve_span!(ctx : Context, infer : Visitor) : Span
• #resolve_span!(infer : Analysis) : Span

Constructor Detail

Class Method Detail

Instance Method Detail