RustQ.Meta.Typing.Check (rustq v0.9.0)

Copy Markdown View Source

Result of checking an expression against an expected type.

Summary

Types

coercion()
t()

Types

coercion()

@type coercion() :: :none | :propagate | :some | :borrow | :mut_borrow | :unknown

t()

@type t() :: %RustQ.Meta.Typing.Check{
  coercion: coercion(),
  type: RustQ.Meta.Type.t() | nil
}