Function rustc_trait_selection::traits::object_safety::virtual_call_violations_for_method

fn virtual_call_violations_for_method<'tcx>(
    tcx: TyCtxt<'tcx>,
    trait_def_id: DefId,
    method: AssocItem,
) -> Vec<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.