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

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
  | :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
}