fsprojects
RedundantNewKeyword is raised on a type inheriting from an interface that inherits IDisposable
Description
Given the following code :
open System
type ISomeInterfaceWithDisposable =
interface
inherit IDisposable
end
type SomeDisposableType() =
interface ISomeInterfaceWithDisposable with
member _.Dispose() = ()
module Program =
let foo = new SomeDisposableType() :> ISomeInterfaceWithDisposable
Considering that the type is a disposable through the ISomeInterfaceWithDisposable interface, my expectations is that this needs a new keyword.
Repro steps
Run FSharpLint on the following code with 0.21.3
Expected behavior
The redundant key word error to not be raised (this is what I would expect)
Actual behavior
The redundant key word error is raised
Known workarounds
Remove the new keyword from all occurence of this pattenr
Related information
Issue occurs on 0.21.3 Doesn't occur on 0.21.2 Windows 10 dotnet 6
Remove the new keyword from all occurence of this pattenr
Yes, that may be a workaround, but the F# Style Guide, and even the F# compiler, wants the new keyword for cases that implement IDisposable. So, the better workaround is to disable to rule altogether, as it currently just gives bad advice.
Interestingly, there's this function:
FSharpLint.Rules.RedundantNewKeyword.doesNotImplementIDisposable(FSharpCheckFileResults checkFile, LongIdentWithDots ident, Unit unitVar0)
which suggests that this check was actually enabled, but apparently doesn't quite find whether the interface is there.
Might be related to how it is inside of an upcast expression ? I've added a test for that case, but it passes 👀 event without my modifications. I'll investigate a bit maybe next week, I'll temporarily disable it in my projects for the moment
Could not reproduce this bug with or without upcast. If type implements IDisposable, no error is raised. This makes me think the bug was fixed.
Hey jp-fournier-dev, thanks for reporting this issue.
I couldn't reproduce what you found (see this commit where I've added a test with your code snippet, and check that CI status is still green: https://github.com/webwarrior-ws/FSharpLint/commit/88ce98ea9775900e83ec628ecc4b705b4f870258). That commit is based on version 0.21.3.
It would be great if you provide us with more details or even a failure test.