cairo_lang_lowering::panic

Trait MayPanicTrait

source 
pub trait MayPanicTrait<'a>: Upcast<dyn LoweringGroup + 'a> {
    // Provided method
    fn function_with_body_may_panic(
        &self,
        function: ConcreteFunctionWithBodyId,
    ) -> Maybe<bool> { ... }
}
Expand description

A trait to add helper methods in LoweringGroup.

Provided Methods§

source

fn function_with_body_may_panic( &self, function: ConcreteFunctionWithBodyId, ) -> Maybe<bool>

Returns whether a ConcreteFunctionWithBodyId may panic.

Implementors§

source§

impl<'a, T: Upcast<dyn LoweringGroup + 'a> + ?Sized> MayPanicTrait<'a> for T