function_has_struct_invariant

rapx::analysis::safetyflow_analysis::root

Function function_has_struct_invariant 

Source 
pub fn function_has_struct_invariant(tcx: TyCtxt<'_>, def_id: DefId) -> bool
Expand description

Quick check: does this function’s owning struct have invariants?