pub fn object_safety_violations_for_assoc_item( tcx: TyCtxt<'_>, trait_def_id: DefId, item: AssocItem, ) -> Vec<ObjectSafetyViolation>
Returns Some(_) if this item makes the containing trait not object safe.
Some(_)