Module chalk_solve::clauses::builtin_traits

Modules

• clone 🔒
• copy 🔒
• coroutine 🔒
• discriminant_kind 🔒
• fn_family 🔒
• pointee 🔒
• sized 🔒
• tuple 🔒
• unsize 🔒

Functions

• add_builtin_assoc_program_clauses
  Like add_builtin_program_clauses, but for DomainGoal::Normalize involving a projection (e.g. <fn(u8) as FnOnce<(u8,)>>::Output)
• add_builtin_program_clauses
  For well known traits we have special hard-coded impls, either as an optimization or to enforce special rules for correctness.
• last_field_of_struct 🔒
  Returns type of the last field of the input struct, which is useful for Sized and related traits. Returns None if the input is not a struct or it has no fields.
• needs_impl_for_tys
  Given a trait ref T0: Trait and a list of types U0..Un, pushes a clause of the form Implemented(T0: Trait) :- Implemented(U0: Trait) .. Implemented(Un: Trait)