@@ -320,6 +320,28 @@ module ``Equivalence of properties and getters`` =
IL_000e: ret
}"""]
module``Type checking behavior``=
#if!NETCOREAPP
[<Theory(Skip="IWSAMs are not supported by NET472.")>]
#else
[<InlineData("6.0")>]
[<InlineData("7.0")>]
[<Theory>]
#endif
let``Extension method on interface without SAM does not produce a warning``version=
Fsx"""
type INormalInterface =
abstract member IntMember: int
module INormalInterfaceExtensions =
type INormalInterface with
static member ExtMethod (a: INormalInterface) =
()
"""
|>withLangVersionversion
|>compile
|>shouldSucceed
moduleNegative=
...
...
@@ -375,7 +397,6 @@ module Negative =
|>withDiagnosticMessage"The trait 'A' invoked by this call has multiple support types. This invocation syntax is not permitted for such traits. See https://aka.ms/fsharp-srtp for guidance."