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