Module traits

Modules

• ambiguity
• fulfillment_errors 🔒
• on_unimplemented
• overflow 🔒
• suggestions

Structs

• FindExprBySpan
  Crude way of getting back an Expr from a Span.
• ImplCandidate
• UnsatisfiedConst 🔒

Enums

• ArgKind
  Summarizes information
• CandidateSimilarity
• DefIdOrName
• GetSafeTransmuteErrorAndReason 🔒
• OverflowCause

Functions

• report_dyn_incompatibility
• suggest_new_overflow_limit
• to_pretty_impl_header 🔒
  Recovers the “impl X for Y” signature from impl_def_id and returns it as a string.