[Repo Assist] Monthly Activity 2026-05

[github-actions]

🤖 Repo Assist here — I'm an automated AI assistant for this repository.

Activity for May 2026

Suggested Actions for Maintainer

Comprehensive list of all pending actions requiring maintainer attention (excludes items already actioned and checked off).

• Close issue #5418: confirmed fixed (PR Fix wrong warning 20 range in sequential expressions (#5735) #19504 merged 2026-04-11), existing test coverage in WarnExpressionTests.fs — View comment
• Close issue #13512: confirmed fixed (PR Fix completion inconsistently filtering obsolete fields and events (#13512) #19506 merged 2026-04-11), comprehensive test coverage in CompletionTests.fs — View comment
• Check comment on #13099: Task CE optimizer correctness bug — (someFunctionWithReturnType()).End silently optimized away in Release mode — View
• Check comment on #16982: delegate keyword breaks semantic highlighting — reproduced via FCS, AI-thinks-windows-only removed — View
• Check comment on #18841: let _ = &s still raises FS0421 — AI-thinks-issue-fixed was incorrectly applied then removed — View
• Check comments on #16034, #16464: confirmed still present, Repo Assist provided repro details

Additional observations for maintainer's attention

• Correction on Overload resolution of static member extensions for generic types broken #19664: A contributor (evgTSV) pointed out that the previous run's analysis of issue Overload resolution of static member extensions for generic types broken #19664 was incorrect — the key detail is that StaticGeneric.Bar(42) (with explicit type arguments) triggers the bug, not StaticGeneric.Bar(42). The issue remains open and evgTSV has volunteered to fix it.
• Issue #13099: High-impact optimizer correctness bug — (someFunctionWithReturnType()).End where .End is a unit property causes the function call to be optimized away in Release mode.
• Issue #16292: Debug-only codegen bug — SRTP with mutable struct enumerator causes infinite loop in Debug builds.

Future Work for Repo Assist

• Continue scanning backlog (cursor at 0, filtering by activity since last run)
• All AI-thinks-windows-only issues have been revisited (cursor at 18119)
• Both AI-thinks-issue-fixed issues (Wrong expression is ignored warning range #5418, Completion is available for some obsolete members only #13512) have existing test coverage confirmed

Run History

2026-05-06 01:11 UTC — Run

• 🔍 Scanned for pre-2024 bugs with activity since 2026-05-05: none found
• 🔍 Checked AI-thinks-windows-only issues: none above cursor (woc=18119)
• 🔍 Checked AI-thinks-issue-fixed issues: Wrong expression is ignored warning range #5418 and Completion is available for some obsolete members only #13512 already verified (rtc=14566)

2026-05-05 12:57 UTC — Run

• 🔍 Scanned for pre-2024 bugs with activity since 2026-05-05: none found
• 🔍 Checked AI-thinks-windows-only issues: none above cursor (woc=18119)
• 🔍 Checked AI-thinks-issue-fixed issues: Wrong expression is ignored warning range #5418 and Completion is available for some obsolete members only #13512 already verified (rtc=14566)

2026-05-05 01:11 UTC — Run

• 🔍 Scanned for pre-2024 bugs with activity since 2026-05-04: none found
• 🔍 Checked AI-thinks-windows-only issues: none above cursor (woc=18119)
• 🔍 Checked AI-thinks-issue-fixed issues: Wrong expression is ignored warning range #5418 and Completion is available for some obsolete members only #13512 already verified with test coverage in prior runs (rtc=14566)
• 📝 Acknowledged contributor correction on Overload resolution of static member extensions for generic types broken #19664 analysis

2026-05-04 13:05 UTC — Run

• 🔍 Scanned for bugs with activity since 2026-04-29 — no pre-2024 issues with new activity found
• 🔍 Verified Overload resolution of static member extensions for generic types broken #19664 does not reproduce on latest main (informational only, post-cutoff issue)
• 📝 Created May 2026 monthly activity issue

Generated by 🌈 Repo Assist, see workflow run. Learn more.

To install this agentic workflow, run

gh aw add githubnext/agentics/workflows/repo-assist.md@7c7feb61a52b662eb2089aa2945588b7a200d404

[evgTSV]

Regarding #19664, AI has missed some important detail. It said that issue can't be reproduced. However, the code it created is not exactly code, which differs from code mentioned in the issue. I glanced at the artifacts from this workflow and found a .fsx script that AI used to test a reproducing.

StaticGeneric.Bar(42) and StaticGeneric<int>.Bar(42). Explicity passing type arguments matters.

So, AI generated code that dosen't cause any errors:

module Extensions =

    type StaticGeneric<'T> =
        static member Bar() = ()

    [<AutoOpen>]
    module StaticGenericExtensions =
        type StaticGeneric<'T> with
            static member Bar(_: int) = ()
            static member Bar2(_: int) = ()

    type StaticGeneric<'T> with
        static member Bar(_: int, _: int) = ()

module Program =
    open Extensions

    StaticGeneric.Bar()
    StaticGeneric.Bar(42)
    StaticGeneric.Bar2(42)
    StaticGeneric.Bar(42, 0)
    printfn "All passed"

The idea of the issue:

module Extensions =

    type StaticGeneric<'T> =
        static member Bar() = ()

    [<AutoOpen>]
    module StaticGenericExtensions =
        type StaticGeneric<'T> with
            static member Bar(_: int) = ()

module Program =
    open Extensions
    StaticGeneric<int>.Bar(42) //  error FS0505: The member or object constructor 'Bar' does not take 1 argument(s). An overload was found taking 0 arguments.