{{ message }}
Repository navigation
Preserve competing extension witnesses across files #20684
Description
Repro steps
Library.fs:
module Library
module A =
type System.String with
static member (*) (s: string, n: int) = String.replicate n s
let inline mul x n = x * n
module B =
type System.String with
static member (*) (s: string, n: int) = s + string nProgram.fs:
let result: string = Library.A.mul "a" 3dotnet $fsc --targetprofile:netcore --langversion:preview Library.fs Program.fsExpected behavior
Compiles; result = "aaa".
Actual behavior
FS0971: Undefined value '*'
Known workarounds
Remove module B.
Related information
Reproduced on fresh main.
Activity
Preserve extension SRTP witnesses across files and inline calls (dotn…
[release/11.0.1xx-rc2] Preserve extension SRTP witnesses (#20771)