Function rustc_hir_analysis::check::wfcheck::receiver_is_valid

source ·
fn receiver_is_valid<'tcx>(
    wfcx: &WfCheckingCtxt<'_, 'tcx>,
    span: Span,
    receiver_ty: Ty<'tcx>,
    self_ty: Ty<'tcx>,
    arbitrary_self_types_enabled: bool
) -> bool
Expand description

Returns whether receiver_ty would be considered a valid receiver type for self_ty. If arbitrary_self_types is enabled, receiver_ty must transitively deref to self_ty, possibly through a *const/mut T raw pointer. If the feature is not enabled, the requirements are more strict: receiver_ty must implement Receiver and directly implement Deref<Target = self_ty>.

N.B., there are cases this function returns true but causes an error to be emitted, particularly when receiver_ty derefs to a type that is the same as self_ty but has the wrong lifetime. Be careful of this if you are calling this function speculatively.