fn make_invalid_casting_error<'a, 'tcx>( span: Span, expr_ty: Ty<'tcx>, cast_ty: Ty<'tcx>, fcx: &FnCtxt<'a, 'tcx>, ) -> Diag<'a>