fn check_operand<'tcx>( tcx: TyCtxt<'tcx>, operand: &Operand<'tcx>, span: Span, body: &Body<'tcx>, msrv: &Msrv, ) -> Result<(), (Span, Cow<'static, str>)>