---
title: "Error: type ? does not have a member IsFailure"
---

The `IsFailure` member is a necessary part of [_failure-compatible_ types](../..//DafnyRef/DafnyRef#sec-failure-compatible-types), which are used with the `:-` operator.
See the discussion in the reference manual for more detail.
