anchor.diff:        yield (0).Is(1)
       }
   
  +  let throwingTest =
  +    seq {
  +      yield (0).Is(0)
  +      yield (0).Is(1)
  +      exn() |> raise
  +    }
  +
  +  let neverTest: seq<Test> =
  +    seq {
  +      yield (0).Is(0)
  +      yield (0).Is(1)
  +      while true do
  +        ()
  +    }
  +
     type Passing() =
       member this.PassingTest() =
         passingTest
  
positive.code:       passingTest
  
      member this.ThrowingTest() =
        exn() |> raise
  
      interface IDisposable with
        override this.Dispose() =
  
negative.code: 
    type Never() =
      member this.PassingTest() =
        passingTest
  
      member this.ViolatedTest() =
        violatingTest
  
      member this.NeverTest() =
        neverTest
  
    type Uninstantiatable() =
      do Exception() |> raise
  