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