Trait solving using Chalk.
A set of clauses that we assume to be true. E.g. if we are inside this function: