fn check_is_object_safe(tcx: TyCtxt<'_>, trait_def_id: DefId) -> bool