fn check_method_receiver<'tcx>(
    wfcx: &WfCheckingCtxt<'_, 'tcx>,
    fn_sig: &FnSig<'_>,
    method: &AssocItem,
    self_ty: Ty<'tcx>
)