[−][src]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. |