Modules§

Structs§

  • The FnCtxt stores type-checking context needed to type-check bodies of functions, closures, and consts, including performing type inference with InferCtxt.
  • The ty representation of a user-provided type. Depending on the use-site we want to either use the unnormalized or the normalized form of this type.