charon_lib::common

Function ensure_sufficient_stack

source
pub fn ensure_sufficient_stack<R>(f: impl FnOnce() -> R) -> R
Expand description

Grows the stack on demand to prevent stack overflow. Call this in strategic locations to “break up” recursive calls. E.g. most statement visitors can benefit from this.