rustc_trait_selection::traits::dyn_compatibility

Function virtual_call_violations_for_method

Source 
fn virtual_call_violations_for_method<'tcx>(
    tcx: TyCtxt<'tcx>,
    trait_def_id: DefId,
    method: AssocItem,
) -> Vec<MethodViolationCode>
Expand description

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