Module check_call_recursion

Structs

CallRecursion 🔒

CheckCallRecursion 🔒

CheckDropRecursion 🔒

Requires drop elaboration to have been performed.

NonRecursive 🔒

RecursiveDrop 🔒

Search 🔒

Traits

TerminatorClassifier 🔒

Functions

check_recursion 🔒