anchor.diff:  type FsCheckType = FsCheckType of int
   
   type ArbRegisterType() =
  -    member __.Test() = Arb.convert (fun (FsCheckType i) -> i) FsCheckType Arb.from
  +    member __.Test() =
  +        Gen.constant 7 |> Arb.fromGen
  +        |> Arb.convert FsCheckType (fun (FsCheckType i) -> i)
   
   let properties =
   
  
positive.code:     | x ->
        failtestf "Expected Ignored, actual %A" x
  
      Expect.equal (getResult "FsCheck/arb register").result
                   TestResult.Passed "arb"
    }
  
  let focused =
  
negative.code: 
      testProperty "arb register" <|
        fun (FsCheckType i) ->
          Expect.equal i 7 "arb"
    ]
  
  [<Tests>]
  let runFsCheckTests =
    ftestCaseAsync "run" <| async {
      let! results = Impl.evalTestsSilent properties
      Expect.equal results.Length 5 "results length"
  
  