fn e0307(tcx: TyCtxt<'_>, span: Span, receiver_ty: Ty<'_>)