pub trait MayPanicTrait<'db>: Database {
// Provided method
fn function_with_body_may_panic(
&'db self,
function: ConcreteFunctionWithBodyId<'db>,
) -> Maybe<bool> { ... }
}Expand description
A trait to add helper methods in LoweringGroup.
Provided Methods§
Sourcefn function_with_body_may_panic(
&'db self,
function: ConcreteFunctionWithBodyId<'db>,
) -> Maybe<bool>
fn function_with_body_may_panic( &'db self, function: ConcreteFunctionWithBodyId<'db>, ) -> Maybe<bool>
Returns whether a ConcreteFunctionWithBodyId may panic.
Dyn Compatibility§
This trait is dyn compatible.
In older versions of Rust, dyn compatibility was called "object safety".