Module lints

Structs

• CallRecursion 🔒
• NonRecursive 🔒
• RecursiveDrop 🔒
• Search 🔒

Traits

• TerminatorClassifier 🔒

Functions

• check 🔒
• check_call_recursion 🔒
• check_drop_recursion
  Requires drop elaboration to have been performed first.
• check_recursion 🔒