MCPcopy Create free account
hub / github.com/CodeSentryAI/lockbud / skip_detecting

Function skip_detecting

src/detector/panic/mod.rs:211–217  ·  view source on GitHub ↗
(instance: &Instance<'tcx>, tcx: TyCtxt<'tcx>)

Source from the content-addressed store, hash-verified

209}
210
211fn skip_detecting<'tcx>(instance: &Instance<'tcx>, tcx: TyCtxt<'tcx>) -> bool {
212 if let InstanceKind::Item(_) = instance.def {
213 !tcx.is_mir_available(instance.def_id())
214 } else {
215 true
216 }
217}

Callers 1

newMethod · 0.85

Calls

no outgoing calls

Tested by

no test coverage detected