Function std_contracts_has_entry 

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

Whether the JSON contract database has an entry for def_id — including an empty one, which means “no safety contract is needed” (e.g. fmt::new, whose arguments are all references).