function it_does_not_matches_if_has_state_checker_returns_false()
{
$subject = new \ReflectionClass($this);
$this->shouldThrow('PHPSpec2\\Exception\\Example\\FailureException')->duringPositiveMatch('haveProperty', $subject, array('other'));
}