Module ra_ap_hir_ty::traits

Trait solving using Chalk.

Structs

InEnvironment	Something (usually a goal), along with an environment.
ProjectionPredicate
SolutionVariables
TraitEnvironment	A set of clauses that we assume to be true. E.g. if we are inside this function:

Enums

FnTrait
Guidance	When a goal holds ambiguously (e.g., because there are multiple possible solutions), we issue a set of guidance back to type inference.
Obligation	Something that needs to be proven (by Chalk) during type checking, e.g. that a certain type implements a certain trait. Proving the Obligation might result in additional information about inference variables.
Solution	A (possible) solution for a proposed goal.