Function rustc_trait_selection::traits::object_safety::check_receiver_correct

fn check_receiver_correct<'tcx>(
    tcx: TyCtxt<'tcx>,
    trait_def_id: DefId,
    method: AssocItem,
)

This code checks that receiver_is_dispatchable is correctly implemented.

This check is outlined from the object safety check to avoid cycles with layout computation, which relies on knowing whether methods are object safe.