Function function_has_trait_ensurance 

pub fn function_has_trait_ensurance(tcx: TyCtxt<'_>, def_id: DefId) -> bool

Quick check: does this function’s containing impl implement an unsafe trait?

This is a fast HIR-level pre-filter similar to function_has_struct_invariant.