IDISP004 should warn when using property returning created

[JohanLarsson]

    public static class C
    {
        public static Stream Stream => File.OpenRead(string.Empty);

        public static long? M() => ↓Stream?.Length;
    }

[jeremyVignelles]

Not sure that's a correct example. When you have a property, the classic expectation is that the getter doesn't create anything, it only "gets" the value.

[JohanLarsson]

In the example above the getter returns a created disposable that is then not disposed in the method.
Agreed a property returning an instance that the caller is supposed to dispose is nasty.

[jeremyVignelles]

Yes, but it's doable with the IDisposable annotations ;)