@@ -8,30 +8,30 @@ module AssertExtensions =
88
99 type Assert with
1010
11- static member WantSome ( value , [<Optional>] message ) =
11+ static member WantSome ( value , [<Optional>] message : string | null ) =
1212 match value with
1313 | Some some -> some
1414 | None ->
1515 Assert.Fail ( message)
1616 Unchecked.defaultof<_>
1717
18- static member IsSome ( value , [<Optional>] message ) = Assert.WantSome ( value, message) |> ignore
18+ static member IsSome ( value , [<Optional>] message : string | null ) = Assert.WantSome ( value, message) |> ignore
1919
20- static member IsNone ( value , [<Optional>] message ) =
20+ static member IsNone ( value , [<Optional>] message : string | null ) =
2121 match value with
2222 | Some _ -> Assert.Fail ( message)
2323 | None -> ()
2424
25- static member WantValueSome ( value , [<Optional>] message ) =
25+ static member WantValueSome ( value , [<Optional>] message : string | null ) =
2626 match value with
2727 | ValueSome some -> some
2828 | ValueNone ->
2929 Assert.Fail ( message)
3030 Unchecked.defaultof<_>
3131
32- static member IsValueSome ( value , [<Optional>] message ) = Assert.WantValueSome ( value, message) |> ignore
32+ static member IsValueSome ( value , [<Optional>] message : string | null ) = Assert.WantValueSome ( value, message) |> ignore
3333
34- static member IsValueNone ( value , [<Optional>] message ) =
34+ static member IsValueNone ( value , [<Optional>] message : string | null ) =
3535 match value with
3636 | ValueSome _ -> Assert.Fail ( message)
3737 | ValueNone -> ()
@@ -45,7 +45,7 @@ module AssertExtensions =
4545 | message -> Assert.Fail ( $" '{message}': {error}" )
4646 Unchecked.defaultof<_>
4747
48- static member IsOk ( value , [<Optional>] message ) = Assert.WantOk ( value, message) |> ignore
48+ static member IsOk ( value , [<Optional>] message : string | null ) = Assert.WantOk ( value, message) |> ignore
4949
5050 static member WantError ( value , [<Optional>] message : string | null ) =
5151 match value with
@@ -56,17 +56,17 @@ module AssertExtensions =
5656 | message -> Assert.Fail ( $" '{message}': {value}" )
5757 Unchecked.defaultof<_>
5858
59- static member IsError ( value , [<Optional>] message ) = Assert.WantError ( value, message) |> ignore
59+ static member IsError ( value , [<Optional>] message : string | null ) = Assert.WantError ( value, message) |> ignore
6060
6161 static member inline IsDefaultOf < ^T > ( value : ^T , [<Optional>] message : string ) =
6262 Assert.AreEqual ( box value, box Unchecked.defaultof< ^T >, message)
6363
64- static member inline OkEquals < ^R , 'E > ( expected : ^R , actual : Result < ^R , 'E >, [<Optional>] message ) =
64+ static member inline OkEquals < ^R , 'E > ( expected : ^R , actual : Result < ^R , 'E >, [<Optional>] message : string | null ) =
6565 Assert.AreEqual ( box expected, box ( Assert.WantOk ( actual, message)), message)
6666
67- static member inline ErrorEquals < 'R , ^E > ( expected : ^E , actual : Result < 'R , ^E >, [<Optional>] message ) =
67+ static member inline ErrorEquals < 'R , ^E > ( expected : ^E , actual : Result < 'R , ^E >, [<Optional>] message : string | null ) =
6868 Assert.AreEqual ( box expected, box ( Assert.WantError ( actual, message)), message)
6969
70- static member FailWithData < 'T > ( [<Optional>] message ) =
70+ static member FailWithData < 'T > ( [<Optional>] message : string | null ) =
7171 Assert.Fail ( message)
7272 Unchecked.defaultof< 'T>
0 commit comments