Module infer 

Modules

pretty 🔒

Structs

DummyEnv 🔒

An environment without locations. Used when relating types that cannot mention locations, e.g., the signatures of fn pointers (which cannot have strong references).

InferCtxt

InferCtxtAt

InferCtxtInner 🔒

InferCtxtRoot

InferCtxtRootBuilder

Sub 🔒

Context used to relate two types a and b via subtyping

Tag

Unpacker

Enums

ConstrReason

InferErr

SubtypeReason

TypeTrace 🔒

Used for debugging to attach a “trace” to the RefineTree that can be used to print information to recover the derivation when relating types via subtyping. The code that attaches the trace is currently commented out because the output is too verbose.

Traits

GlobalEnvExt

LocEnv

Functions

mk_coroutine_obligations 🔒

Type Aliases

InferResult