See also #17619, but this issue applies to all types.

Repro steps

type T =
    static member A = 99

[<AutoOpen>]
module M =
    type T with
        static member Lol = 3

// Shows as unused; the unused opens analyzer will suggest removing it…
open type T

// …Even though it's used.
let lol = Lol

Expected behavior

An open type declaration should be considered used if an unqualified use of an extension member on the type depends on it.

Actual behavior

An open type declaration is not considered used even if an unqualified use of an extension member on the type depends on it.

Known workarounds

N/A.

Related information

.NET 8, 9.