fn object_safety_violation_for_method( tcx: TyCtxt<'_>, trait_def_id: DefId, method: &AssocItem) -> Option<(MethodViolationCode, Span)>
Returns Some(_) if this method makes the containing trait not object safe.
Some(_)