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

Activity for March 2026

Suggested Actions for Maintainer

Comprehensive list of all pending actions requiring maintainer attention:

• Review/Merge PR Fix #12386, SRTP trait call correct overload resolution in multi-submit FSI scenario #19471: Fix for Null value returned from trait call #12386 — SRTP correct overload resolution in multi-submit FSI — Review
• Review/Merge PRs (regression tests, ready to merge): Add regression test: #9878, SRTP with phantom type parameter #19467, Add regression test: #13114, SynPat.Record and QuoteExpr traversal #19468, Fix #12796: handle arrays of user-defined types in custom attributes #19472, Add regression test: #10043, backtick should not report unexpected keyword #19476, Add regression test: #7177, never-matched warning FS0026 with active patterns #19528, Add regression test: #16007, SRTP ctor constraint no longer causes value restriction #19529, Add regression test: #16154, task CE with IQueryable filters no longer throws VerificationException #19530, Add regression test: #19456, nested let bang in plain let inside task CE raises FS0750 #19531 — #19467 #19468 #19472 #19476 #19528 #19529 #19530 #19531
• Review PRs created in this run (branches: regression-test/issue15070, regression-test/issue15987, regression-test/issue16056) — #load in fsx script can fail without a proper error message #15070, SRTP Regression in .net SDK release 7.0.400 #15987, FSharpMemberOrFunctionOrValue.DeclarationLocation returns wrong location for auto property #16056 now fully covered
• Remove incorrect label on use binding for IAsyncDisposable not supported in F# interactive #14454: T-Gro confirmed still broken in F# 11.0 — remove AI-thinks-issue-fixed — View
• Reconsider label on Error using type abbreviation for attribute #7877: T-Gro confirmed FS0033 error is still wrong — consider removing AI-thinks-issue-fixed — View
• Check comment on SNAFU with indexed properties & type extensions: internal error & inconsistency over shadowing #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 [] and [] attributes — View
• Check comment on Can't use addition (substruction) multiple times in member for constrained to 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 — implement fix in IlxGen.fs — 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 — AI-thinks-issue-fixed label removed — View
• Verify and close (labelled AI-thinks-issue-fixed): Symbols API: FSharpEntity.IsByRef is false for byref`1 #3532, No indentation warning is given when a hash directive is used inside a nested module #3841, Symbols API: Empy value is returned for auto-property binding #3939, "land" reserved keyword error message  #6715, Units of Measure applied to literal bindings are ignored #6929, "This rule is never matched" warning is not shown if an active pattern is used in match expression #7177, NullReferenceException when calling a virtual Object method on a value type from inline function #8098, Stress test on type system involving many statically resolved type parameters #9382, Undefined or unsolved type variable #9878, Unexpected keyword error when there's no keyword #10043, Expression tree with anonymous type created incorrectly #11127, FS0267 trying to concatenate string in an attribute value with --checked+ #11398, SRTP committed overload does not match expected overload #12064, Signature file generation chops off leading FSharp. prefix for externally-defined code #12067, Mutually recursive non-function values with intermediate module definition not initialized incorrectly #12384, Unexpected warning '[FS3511] This state machine is not statically compilable' #12839, defaultTraverse for SynPat in SyntaxTraverse.Traverse doesn't walk down all SynPats #13114, No description is provided for a completion item with a quote in its name #13194, When using EntryPoint attribute in fsx script top-level code is not executed #13350, Problem consuming C# API with default value for parameter #13519, Later errors obscure earlier errors  #13697, In Visual Studio: Renaming operator with . only renames right of . #14057, Update signature generation to include Sealed/Class/Interface attribute for OO-style type constructs #14308, Signature generation must include private field info in case of Structs #14310, internal error: no 'value__' field found for enumeration type when rec module & enum constraint & type alias #14580, #load in fsx script can fail without a proper error message #15070, Error number 3217 is reused for two errors  #15655, SRTP Regression in .net SDK release 7.0.400 #15987, Lang version 6.0 -> 7.0 value restriction regression. #16007, FSharpMemberOrFunctionOrValue.DeclarationLocation returns wrong location for auto property #16056, VerificationException on runtime, due to upcast to obj inside the task state machine #16154, Missing FS0750 in nested let bang (got lost between 9.0 and 10.0) #19456 — Search

Additional observations for maintainer's attention

• Issue Quotation string matching fails? #19527 (new, March 31): <@@ match x with "" -> ... @@> fails with FS0452. Root cause: PatternMatchCompilation.fs line 807–813 optimizes empty-string match to mkNonNullTest + mkILAsmCeq, generating TOp.ILAsm([AI_ldnull; AI_cgt_un]) that QuotationTranslator.fs can't handle (falls to the catch-all FS0452 branch). Fix: add a handler for [AI_ldnull; AI_cgt_un] in QuotationTranslator.fs (convert to arg <> null expression). T-Gro is already engaged on this.
• Issue Can't take address of a struct value and set it to a discard pattern #18841 (let _ = &s raises FS0421 but let a = &s works): Confirmed still broken on main (1775f42, 2026-03-31). Asymmetric treatment of discard vs. named bindings in address-of expressions.
• Issue Visual F# Tools shows Option.toNullable is from another projects internal module #14678 (AI-thinks-windows-only label): Label was already removed in a previous run. The tooltip issue (wrong module for Option.toNullable) is backed by FCS and IS testable on Linux.
• 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.

Future Work for Repo Assist

• Task 1: Continue scanning pre-2024 bugs with new activity (c=0, uses lr filter)
• Task 3: woc=15350 — all existing windows-only issues have been reviewed; monitor for new ones
• All 7 AI-thinks-issue-fixed issues now have regression test PRs — future task is to handle newly labelled issues

Run History

2026-03-31 19:00 UTC — Run

• 🔧 Created PR for #load in fsx script can fail without a proper error message #15070: regression test — #load "./path" dot-slash prefix no longer causes FS1141 (regression-test/issue15070)
• 🔧 Created PR for SRTP Regression in .net SDK release 7.0.400 #15987: regression test — SRTP overload resolution returns correct typed value (regression-test/issue15987)
• 🔧 Created PR for FSharpMemberOrFunctionOrValue.DeclarationLocation returns wrong location for auto property #16056: regression test — auto property DeclarationLocation points to property name, not get accessor (regression-test/issue16056)
• 🔍 Investigated Quotation string matching fails? #19527: quotation empty-string match causes FS0452 — root cause identified (PatternMatchCompilation optimization + QuotationTranslator gap), noted for maintainer

2026-03-31 12:48 UTC — Run

• 🔍 Discovered Can't take address of a struct value and set it to a discard pattern #18841 is NOT fixed: let _ = &s still raises FS0421 on main (1775f42)
• 🏷️ Removed AI-thinks-issue-fixed from Can't take address of a struct value and set it to a discard pattern #18841
• 💬 Commented on Can't take address of a struct value and set it to a discard pattern #18841: test results proving issue still present
• 🔧 Created PR for "This rule is never matched" warning is not shown if an active pattern is used in match expression #7177: regression test — FS0026 warning with active patterns in match (regression-test/issue7177)
• 🔧 Created PR for Lang version 6.0 -> 7.0 value restriction regression. #16007: regression test — SRTP ctor no longer causes value restriction (regression-test/issue16007)
• 🔧 Created PR for VerificationException on runtime, due to upcast to obj inside the task state machine #16154: regression test — task CE with IQueryable filters no longer throws VerificationException (regression-test/issue16154)
• 🔧 Created PR for Missing FS0750 in nested let bang (got lost between 9.0 and 10.0) #19456: regression test — nested let! in plain let inside task CE raises FS0750 (regression-test/issue19456)

2026-03-31 07:00 UTC — Run

• 🔍 Task 3: Assessed VS "Show in Test Explorer" doesn't work for F# #14632, Visual F# Tools shows Option.toNullable is from another projects internal module #14678, FSharpClassificationService throws TaskCanceledException #14840, Sticky scroll in VS sticks to xml comments (///) #15101, VS QuickInfo is not fully displayed in main #15350 for windows-only correctness
• 💬 Commented on Visual F# Tools shows Option.toNullable is from another projects internal module #14678: explained not windows-only, label removal needed
• 💬 Commented on Missing FS0750 in nested let bang (got lost between 9.0 and 10.0) #19456: posted regression test code for maintainer to create PR
• 🔄 Updated monthly summary

2026-03-30 18:48 UTC — Run

• 📋 Task 1: Cursor exhausted at Can't use addition (substruction) multiple times in member for constrained to INumber<> generic  #16464; reset c=0
• 🏷️ Task 3: Reviewed Some warnings may be discarded using #load with forward slash path separators #1240, Indentation of certain records, lists is broken by shift+tab #1627, Blockstructure lines are a bit weird  #2115, Blockstructure Issues #2431, Intellisense Quick Info blocks half of my screen when I hover over some keywords #2628 — all correctly labeled; woc=2628
• ✅ Task 2 ("This rule is never matched" warning is not shown if an active pattern is used in match expression #7177): Regression test written — needs manual PR creation
• ℹ️ Task 2 (Null value returned from trait call #12386): bug still present; T-Gro's fix in PR Fix #12386, SRTP trait call correct overload resolution in multi-submit FSI scenario #19471
• ℹ️ Task 2 (internal error : encodeCustomAttrElemType: unrecognized custom element type #12796): bug still present; T-Gro's regression test in PR Fix #12796: handle arrays of user-defined types in custom attributes #19472

2026-03-30 07:04 UTC — Run

• 💬 Commented on SNAFU with indexed properties & type extensions: internal error & inconsistency over shadowing #16034, Signature mismatch with no comparable struct #15339, Can't use addition (substruction) multiple times in member for constrained to INumber<> generic  #16464: confirmed still present in F# 10.0

2026-03-30 01:03 UTC — Run

• 💬 Commented on SRTP Regression in .net SDK release 7.0.400 #15987, FSharpMemberOrFunctionOrValue.DeclarationLocation returns wrong location for auto property #16056: confirmed fixed; 🏷️ labelled both AI-thinks-issue-fixed

2026-03-29 18:46 UTC — Run

• 💬 Commented on #load in fsx script can fail without a proper error message #15070: confirmed fixed; 🏷️ labelled AI-thinks-issue-fixed

2026-03-29 12:46 UTC — Run

• 💬 Commented on Can't take address of a struct value and set it to a discard pattern #18841, Missing FS0750 in nested let bang (got lost between 9.0 and 10.0) #19456: confirmed fixed; 🏷️ labelled both AI-thinks-issue-fixed

2026-03-29 06:48 UTC — Run

• 🔧 Created PR Add regression test: #3532, FSharpEntity.IsByRef is false for byref`1 #19485: regression test for Symbols API: FSharpEntity.IsByRef is false for byref`1 #3532; 🔧 Created PR Handle Const.Zero for primitive value types in custom attribute codegen #19484: regression test for error FS0073: internal error: Undefined or unsolved type variable when using generic type annotations on DU of DUs with static members requiring 2+ inputs #6648

2026-03-29 01:00 UTC — Run

• 💬 Commented on Lang version 6.0 -> 7.0 value restriction regression. #16007, #load in fsx script can fail without a proper error message #15070, F# 7.0 generate incorrect program in release config. #14492, nativeptr in interfaces leads to runtime errors #14508; 🏷️ Labelled Lang version 6.0 -> 7.0 value restriction regression. #16007 AI-thinks-issue-fixed

2026-03-28 18:45 UTC — Run

• 💬 Commented on "This rule is never matched" warning is not shown if an active pattern is used in match expression #7177, VerificationException on runtime, due to upcast to obj inside the task state machine #16154; 🏷️ Labelled both AI-thinks-issue-fixed

Earlier runs (2026-03-22 to 2026-03-28)

• Investigated and commented on: No service error for using CompiledName on multiple values #6131, FS2014 when using tupled args #6379, "land" reserved keyword error message  #6715, "This rule is never matched" warning is not shown if an active pattern is used in match expression #7177, Error using type abbreviation for attribute #7877, Nested module attribute is not resolved in recursive namespace #7931, NullReferenceException when calling a virtual Object method on a value type from inline function #8098, Stress test on type system involving many statically resolved type parameters #9382, Undefined or unsolved type variable #9878, Unexpected keyword error when there's no keyword #10043, CLIEvent events are considered properties in XmlDoc Ids and Symbol API #10273, Methods are not tagged as methods in tooltips #10540, Expression tree with anonymous type created incorrectly #11127, FS0267 trying to concatenate string in an attribute value with --checked+ #11398, Bitwise or on a char enum should error at compile time #11785, SRTP committed overload does not match expected overload #12064, Signature file generation chops off leading FSharp. prefix for externally-defined code #12067, Values inside 'as' patterns are disposed multiple times #12300, Mutually recursive non-function values with intermediate module definition not initialized incorrectly #12384, Unexpected warning '[FS3511] This state machine is not statically compilable' #12839, defaultTraverse for SynPat in SyntaxTraverse.Traverse doesn't walk down all SynPats #13114, No description is provided for a completion item with a quote in its name #13194, When using EntryPoint attribute in fsx script top-level code is not executed #13350, Completion is available for some obsolete members only #13512, Problem consuming C# API with default value for parameter #13519, Later errors obscure earlier errors  #13697, Unused binding warning isn't reported for recursive binding in a type #13849, Duplicate member signature error is not reported in signature files #13981, In Visual Studio: Renaming operator with . only renames right of . #14057, In FSI, an invalid string literal can break further parsing of string in that interactive session #14160, 'No matching overload' error has too wide range #14284, Update signature generation to include Sealed/Class/Interface attribute for OO-style type constructs #14308, Signature generation must include private field info in case of Structs #14310, F# 7.0 generate incorrect program in release config. #14492, nativeptr in interfaces leads to runtime errors #14508, internal error: no 'value__' field found for enumeration type when rec module & enum constraint & type alias #14580, Error number 3217 is reused for two errors  #15655, FSharpMemberOrFunctionOrValue.DeclarationLocation returns wrong location for auto property #16056, Spurious FS3570 warning with Active Pattern #16410 — labeled many as AI-thinks-issue-fixed
• 🔧 Created regression test PRs: Add regression test: #9878, SRTP with phantom type parameter #19467, Add regression test: #13114, SynPat.Record and QuoteExpr traversal #19468, Fix #12796: handle arrays of user-defined types in custom attributes #19472, Add regression test: #13519, C# optional parameters from F# #19473, Add regression test: #10043, backtick should not report unexpected keyword #19476, Add regression test: #6715, land is a valid identifier #19478, Add regression test: #15655, error codes 999 and 3217 are distinct #19480, Handle Const.Zero for primitive value types in custom attribute codegen #19484, Add regression test: #3532, FSharpEntity.IsByRef is false for byref`1 #19485 (by T-Gro based on Repo Assist analysis)

Generated by Repo Assist · ◷

To install this agentic workflow, run

gh aw add githubnext/agentics/workflows/repo-assist.md@9135cdfde26838a01779aa966628308404ec1f02