Expand description
Trait solving using Chalk.
Structs§
- Trait
Environment - A set of clauses that we assume to be true. E.g. if we are inside this function:
Enums§
Functions§
- next_
trait_ solve - Solve a trait goal using Chalk.
- next_
trait_ solve_ in_ ctxt - Solve a trait goal using Chalk.