fn enforce_mem_discriminant( cx: &LateContext<'_>, func_expr: &Expr<'_>, expr_span: Span, args_span: Span )