Module fn_ctxt 

Modules

_impl 🔒

adjust_fulfillment_errors 🔒

arg_matrix 🔒

checks 🔒

inspect_obligations 🔒

A utility module to inspect currently ambiguous obligations in the current context.

suggestions 🔒

Structs

FnCtxt 🔒

The FnCtxt stores type-checking context needed to type-check bodies of functions, closures, and consts, including performing type inference with InferCtxt.

LoweredTy 🔒

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.