{"ast_node_type":"variable","tokens":[{"end":55,"kind":"keyword","start":0,"text":"&&"}]}
            && let ty::Array(ety, _) = m_expr.ty.kind()
        if m_expr.mutbl >= m_cast.mutbl
            && fcx.can_eq(fcx.param_env, *ety, m_cast.ty)