Function rustc_trait_selection::traits::object_safety::check_receiver_correct
source ยท 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.