RustQ.Meta.Typing.Check (rustq v1.0.0-rc.19)

Copy Markdown View Source

The result of checking an expression against an expected type: its type, when known, and the coercion that makes it fit, or :unknown.

Summary

Types

coercion()
t()

Types

coercion()

@type coercion() ::
  :none
  | :propagate
  | :some
  | :to_vec
  | :deref
  | :borrow
  | :mut_borrow
  | :propagate_borrow
  | :propagate_mut_borrow
  | :as_ref
  | :propagate_as_ref
  | :unknown

t()

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