Module chalk_solve::clauses::builtin_traits::fn_family

Functions

• add_fn_trait_program_clauses
  Handles clauses for FnOnce/FnMut/Fn. If self_ty is a function, we push a clause of the form fn(A1, A2, ..., AN) -> O: FnTrait<(A1, A2, ..., AN)>, where FnTrait is the trait corresponding to trait_id (FnOnce/FnMut/Fn)
• push_clauses 🔒
• push_clauses_for_apply 🔒