[Repo Assist] Monthly Activity 2026-04

[github-actions]

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

Activity for April 2026

Suggested Actions for Maintainer

Comprehensive list of all pending actions requiring maintainer attention:

• Merge PR Add regression test: #13114, SynPat.Record and QuoteExpr traversal #19468: regression test for #13114 — reviewed by abonie and auduchinok, all CI passes — Review
• Review/Merge PR Fix #12386, SRTP trait call correct overload resolution in multi-submit FSI scenario #19471: Fix #12386 — SRTP trait call correct overload resolution in multi-submit FSI — T-Gro commented, no approval yet — Review
• Close PR Add regression test: #12796, DefaultValue null on array type record field #19472: regression test for #12796 — bug confirmed NOT fixed on Desktop .NET Framework; T-Gro flagged the test as wrong — Review
• Review PR: Add regression test Identifiers with '@' symbol generate invalid code #1255 — identifiers with @ produce correct codegen (PR created this run, pending push) — verifies code generation fix for identifiers containing @ in backtick notation
• Check comment on #1255: Repo Assist confirmed issue fixed — identifiers with @ now produce correct values — View
• Check comment on Using delegate keyword breaks semantic highlighting #16982: AI-thinks-windows-only removed — semantic highlighting with delegate keyword still broken, reproduced via FCS — View
• Check comment on SNAFU with indexed properties and type extensions: internal error #16034: confirmed still present — indexed property setter with named arg gives FS0193 — View
• Check comment on Signature mismatch with no comparable struct #15339: confirmed still present — GenerateSignature() drops CustomComparison and CustomEquality attributes — View
• Check comment on Can't use addition multiple times in member for INumber generic #16464: confirmed still present — FS0670 when chaining multiple + on INumber — View
• Check comment on Internal error when using custom attribute and omitting optional argument #8353: root cause identified — optional bool attribute arg without DefaultParameterValue causes internal error (assigned to T-Gro/Copilot) — View
• Check comment on Completion is available for some obsolete members only #13512: events/fields ignore allowObsolete in ResolveCompletionsInType (assigned to T-Gro/Copilot) — View
• Issue NOT fixed Can't take address of a struct value and set it to a discard pattern #18841: let _ = &s still raises FS0421 on current main — View

Additional observations for maintainer's attention

• Issue VerificationException on runtime, due to upcast to obj inside the task state machine #16154: PR #19530 was merged (Apr 10), but the underlying issue may still affect Desktop .NET Framework 4.8.
• Issue Using delegate keyword breaks semantic highlighting #16982: Delegate semantic highlighting bug confirmed via FCS GetSemanticClassification.
• Issue duplicate entry .cctor in method table #19445 (duplicate .cctor in method table for generic DU with static member val) — confirmed still present in F# 11.0 dev.
• Issues #8353 and #13512 are assigned to T-Gro/Copilot — Copilot Coding Agent may be working on fixes.
• #14492 (F# 7.0 release config TypeLoadException with inline functions) — confirmed still present on F# 11.0 / .NET 10.0. Throws TypeLoadException: Method 'Specialize' on type 'memoizeLatestRef@3-1' tried to implicitly override a method with weaker type parameter constraints.
• #14508 (nativeptr in interfaces TypeLoadException) — confirmed still present. Implementing nativeptr<'T> interface member with concrete nativeptr<int> throws TypeLoadException: Signature of the body and declaration in a method implementation do not match.

Future Work for Repo Assist

• Task 1: Continue scanning pre-2024 bugs with new activity (c=0, uses lr filter)
• Task 3: woc=18119 — all windows-only issues reassessed; monitoring for newly labeled issues
• Task 2: rtc=1255 — monitoring for newly labeled AI-thinks-issue-fixed issues (including Identifiers with '@' symbol generate invalid code #1255)

Run History

2026-04-14 01:08 UTC — Run

• 💬 Commented on Identifiers with '@' symbol generate invalid code #1255: Confirmed code generation fix — identifiers with @ now produce correct values
• 🏷️ Labelled Identifiers with '@' symbol generate invalid code #1255 with AI-thinks-issue-fixed
• 🔧 Created PR: regression test for Identifiers with '@' symbol generate invalid code #1255 (identifiers with @ codegen)
• 🔍 Investigated 11 pre-2024 bugs: Unused binding warning isn't reported for recursive binding in a type #13849, nativeptr in interfaces leads to runtime errors #14508, F# 7.0 generate incorrect program in release config. #14492, Wrong let expression parsing #7741, Duplicate cases in match statement not producing compiler warnings if grouped #3448, Enum type is lost when used in attribute #995, Generic Record Types have different Equality semantics to concrete types #527, Type annotation adjacency warning doesn't consider operator names #774, Incorrect indentation mixed with #if gives surprising results #1564, Running F# scripts in unix without proper file extensions results in strange behaviour #1241, No diagnostic when custom attributes ignored on unparenthesized tuple type #462 — all confirmed still present

2026-04-13 12:53 UTC

• Updated monthly summary: removed completed items (PR Add regression test: #10043, backtick should not report unexpected keyword #19476 merged, PR Add regression test: #16154, task CE with IQueryable filters no longer throws VerificationException #19530 merged, Expression tree with anonymous type created incorrectly #11127 closed, Unexpected keyword error when there's no keyword #10043 closed)

2026-04-09 12:53 UTC

• PR Add regression test: #10043, backtick should not report unexpected keyword #19476 CI now fully passing after workflow approval — ready for merge

2026-04-09 00:54 UTC

• Updated with Add regression test: #10043, backtick should not report unexpected keyword #19476 merge conflicts and Internal error when using custom attribute and omitting optional argument #8353/Completion is available for some obsolete members only #13512 assigned to Copilot

2026-04-08 12:51 UTC

• Refreshed PR statuses (Add regression test: #16154, task CE with IQueryable filters no longer throws VerificationException #19530 confirmed not-fixed, defaultTraverse for SynPat in SyntaxTraverse.Traverse doesn't walk down all SynPats #13114 all review threads resolved)

2026-04-01 12:56 UTC

• Investigated 6 pre-2024 bugs, reassessed windows-only issues, verified fixes

2026-03-31 00:52 UTC

• Created PR Add regression test: #16154, task CE with IQueryable filters no longer throws VerificationException #19530 (regression test for VerificationException on runtime, due to upcast to obj inside the task state machine #16154)

2026-03-30 12:55 UTC

• Investigated 4 pre-2024 bugs, reassessed 5 windows-only issues

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

---

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

Activity for April 2026

Suggested Actions for Maintainer

Comprehensive list of all pending actions requiring maintainer attention:

• Merge PR Add regression test: #13114, SynPat.Record and QuoteExpr traversal #19468: regression test for #13114 — reviewed by abonie and auduchinok, all CI passes — Review
• Review/Merge PR Fix #12386, SRTP trait call correct overload resolution in multi-submit FSI scenario #19471: Fix #12386 — SRTP trait call correct overload resolution in multi-submit FSI — T-Gro commented, no approval yet — Review
• Close PR Add regression test: #12796, DefaultValue null on array type record field #19472: regression test for #12796 — bug confirmed NOT fixed on Desktop .NET Framework; T-Gro flagged the test as wrong — Review
• Review PR Add regression test: #1255, identifiers with @ produce correct codegen #19579: regression test for #1255 — Review
• Review PR: Add regression test: extern function arguments are marked as unused #4473, extern function parameters not flagged as unused (PR created this run, pending push) — View
• Review PR: Add regression test: False positive unused value warnings in query computation expressions #14566, false positive unused value warnings in query CEs (PR created this run, pending push) — View
• Check comment on #4473: Repo Assist confirmed issue fixed — extern params no longer flagged as unused with --warnon:1182 — View
• Check comment on #14566: Repo Assist confirmed issue fixed — query CE variables no longer produce false positive FS1182 — View
• Check comment on #1255: Repo Assist confirmed issue fixed — identifiers with @ now produce correct values — View
• Check comment on Using delegate keyword breaks semantic highlighting #16982: AI-thinks-windows-only removed — semantic highlighting with delegate keyword still broken, reproduced via FCS — View
• Check comment on SNAFU with indexed properties and type extensions: internal error #16034: confirmed still present — indexed property setter with named arg gives FS0193 — View
• Check comment on Signature mismatch with no comparable struct #15339: confirmed still present — GenerateSignature() drops CustomComparison and CustomEquality attributes — View
• Check comment on Can't use addition multiple times in member for INumber generic #16464: confirmed still present — FS0670 when chaining multiple + on INumber — View
• Check comment on Internal error when using custom attribute and omitting optional argument #8353: root cause identified — optional bool attribute arg without DefaultParameterValue causes internal error — View
• Check comment on Completion is available for some obsolete members only #13512: events/fields ignore allowObsolete in ResolveCompletionsInType — View
• Issue NOT fixed Can't take address of a struct value and set it to a discard pattern #18841: let _ = &s still raises FS0421 on current main — View

Additional observations for maintainer's attention

• Issue VerificationException on runtime, due to upcast to obj inside the task state machine #16154: PR #19530 was merged (Apr 10), but the underlying issue may still affect Desktop .NET Framework 4.8.
• Issue Using delegate keyword breaks semantic highlighting #16982: Delegate semantic highlighting bug confirmed via FCS GetSemanticClassification.
• Issue duplicate entry .cctor in method table #19445 (duplicate .cctor in method table for generic DU with static member val) — confirmed still present in F# 11.0 dev.
• Issues #8353 and #13512 are assigned to T-Gro/Copilot — Copilot Coding Agent may be working on fixes.
• #14492 (F# 7.0 release config TypeLoadException with inline functions) — confirmed still present on F# 11.0 / .NET 10.0.
• #14508 (nativeptr in interfaces TypeLoadException) — confirmed still present.

Future Work for Repo Assist

• Task 1: Continue scanning pre-2024 bugs from c=16432 (many scanned this run, most still open)
• Task 3: woc=18119 — all windows-only issues reassessed; monitoring for newly labeled issues
• Task 2: rtc=14566 — monitoring for newly labeled AI-thinks-issue-fixed issues

Run History

2026-04-14 12:53 UTC — Run

• 💬 Commented on extern function arguments are marked as unused #4473: Confirmed fix — extern function parameters no longer flagged as unused with --warnon:1182
• 🏷️ Labelled extern function arguments are marked as unused #4473 with AI-thinks-issue-fixed
• 🔧 Created PR: regression test for extern function arguments are marked as unused #4473 (extern function params unused warning)
• 💬 Commented on False positive unused value warnings in query computation expressions #14566: Confirmed fix — query CE variables no longer produce false positive FS1182 warnings
• 🏷️ Labelled False positive unused value warnings in query computation expressions #14566 with AI-thinks-issue-fixed
• 🔧 Created PR: regression test for False positive unused value warnings in query computation expressions #14566 (query CE unused value warnings)
• 🔍 Scanned ~80 pre-2024 bugs (The compiler infers the wrong type. #1287-Unresolved name error in 'inherit' member reported multiple times #16432): most confirmed still present

2026-04-14 01:08 UTC — Run

• 💬 Commented on Identifiers with '@' symbol generate invalid code #1255: Confirmed code generation fix — identifiers with @ now produce correct values
• 🏷️ Labelled Identifiers with '@' symbol generate invalid code #1255 with AI-thinks-issue-fixed
• 🔧 Created PR: regression test for Identifiers with '@' symbol generate invalid code #1255 (identifiers with @ codegen)
• 🔍 Investigated 11 pre-2024 bugs: Unused binding warning isn't reported for recursive binding in a type #13849, nativeptr in interfaces leads to runtime errors #14508, F# 7.0 generate incorrect program in release config. #14492, Wrong let expression parsing #7741, Duplicate cases in match statement not producing compiler warnings if grouped #3448, Enum type is lost when used in attribute #995, Generic Record Types have different Equality semantics to concrete types #527, Type annotation adjacency warning doesn't consider operator names #774, Incorrect indentation mixed with #if gives surprising results #1564, Running F# scripts in unix without proper file extensions results in strange behaviour #1241, No diagnostic when custom attributes ignored on unparenthesized tuple type #462 — all confirmed still present

2026-04-13 12:53 UTC

• Updated monthly summary: removed completed items (PR Add regression test: #10043, backtick should not report unexpected keyword #19476 merged, PR Add regression test: #16154, task CE with IQueryable filters no longer throws VerificationException #19530 merged, Expression tree with anonymous type created incorrectly #11127 closed, Unexpected keyword error when there's no keyword #10043 closed)

2026-04-09 12:53 UTC

• PR Add regression test: #10043, backtick should not report unexpected keyword #19476 CI now fully passing after workflow approval — ready for merge

2026-04-09 00:54 UTC

• Updated with Add regression test: #10043, backtick should not report unexpected keyword #19476 merge conflicts and Internal error when using custom attribute and omitting optional argument #8353/Completion is available for some obsolete members only #13512 assigned to Copilot

2026-04-08 12:51 UTC

• Refreshed PR statuses (Add regression test: #16154, task CE with IQueryable filters no longer throws VerificationException #19530 confirmed not-fixed, defaultTraverse for SynPat in SyntaxTraverse.Traverse doesn't walk down all SynPats #13114 all review threads resolved)

2026-04-01 12:56 UTC

• Investigated 6 pre-2024 bugs, reassessed windows-only issues, verified fixes

2026-03-31 00:52 UTC

• Created PR Add regression test: #16154, task CE with IQueryable filters no longer throws VerificationException #19530 (regression test for VerificationException on runtime, due to upcast to obj inside the task state machine #16154)

2026-03-30 12:55 UTC

• Investigated 4 pre-2024 bugs, reassessed 5 windows-only issues

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