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

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.