Function rustc_trait_selection::traits::object_safety::virtual_call_violation_for_method

pub(in traits::object_safety) fn virtual_call_violation_for_method<'tcx>(
    tcx: TyCtxt<'tcx>, 
    trait_def_id: DefId, 
    method: &AssocItem
) -> Option<MethodViolationCode>

Returns Some(_) if this method cannot be called on a trait object; this does not necessarily imply that the enclosing trait is not object safe, because the method might have a where clause Self:Sized.