Module chalk_solve::wf

Structs

• InputTypeCollector 🔒
• WfSolver
• WfWellKnownConstraints 🔒
  Defines methods to compute well-formedness goals for well-known traits (e.g. a goal for all fields of struct in a Copy impl to be Copy)

Enums

• WfError

Functions

• compute_assoc_ty_goal 🔒
  Associated type values are special because they can be parametric (independently of the impl), so we issue a special goal which is quantified using the binders of the associated type value, for example in:
• impl_header_wf_goal 🔒
• impl_wf_environment 🔒
  Creates the conditions that an impl (and its contents of an impl) can assume to be true when proving that it is well-formed.