Issues

• flow: retain receiver proof after a null-conditional Boolean exit guard

  OatsP1
  DavidObando/gsharp#5849 · Filter by author DavidObando opened on Nov 7, 2026

• cs2gs: nested record patterns and source/imported Deconstruct contracts need dispatch-preserving lowering

  OatsP1
  DavidObando/gsharp#5844 · Filter by author DavidObando opened on Nov 7, 2026

• Narrowing: a call in a condition operand keeps a member-path fact whose let link overlaps a field in an explicit-layout type (NRE)

  bugP0
  DavidObando/gsharp#5843 · Filter by author DavidObando opened on Nov 7, 2026

• gsc: a cached switch guard with a compound tuple test reports GS9998 for <>7__wrapc0

  OatsP1
  DavidObando/gsharp#5842 · Filter by author DavidObando opened on Nov 7, 2026

• perf: avoid repeated switch-root path walks for reachable break joins

  OatsP2performance
  DavidObando/gsharp#5841 · Filter by author DavidObando opened on Nov 7, 2026

• cs2gs pattern designation captures a closure-assigned subject differently from the C# oracle

  OatsP1
  DavidObando/gsharp#5837 · Filter by author DavidObando opened on Nov 6, 2026

• go: retained byref-like operands still evaluate late and snapshot global writes

  bugOatsP1
  DavidObando/gsharp#5836 · Filter by author DavidObando opened on Nov 6, 2026

• cs2gs string constructor emission is shadowed by a sibling String method

  OatsP1
  DavidObando/gsharp#5826 · Filter by author DavidObando opened on Nov 6, 2026

• cs2gs class-typed null constant declarations produce GS0376

  OatsP1
  DavidObando/gsharp#5825 · Filter by author DavidObando opened on Nov 6, 2026

• cs2gs integer literal promoted to a float parameter is emitted as a float64 literal

  OatsP1
  DavidObando/gsharp#5824 · Filter by author DavidObando opened on Nov 6, 2026

• gsc rejects decimal.MaxValue and decimal.MinValue as const decimal initializers (GS0376)

  OatsP1
  DavidObando/gsharp#5823 · Filter by author DavidObando opened on Nov 6, 2026

• gsc: inferred function literals lose optional-parameter defaults at invocation

  OatsP1
  DavidObando/gsharp#5815 · Filter by author DavidObando opened on Nov 6, 2026

• Readonly imported nullable-object fields do not retain type-test narrowing for a method call

  bugOatsP1
  DavidObando/gsharp#5814 · Filter by author DavidObando opened on Nov 6, 2026

• gsc: indexable list pattern element evaluation across compound subpatterns

  OatsP2
  DavidObando/gsharp#5807 · Filter by author DavidObando opened on Nov 6, 2026

• gsc: BoundConstantPattern.UnwrapInputConversion strips explicit cast[object] on float constant pattern values

  OatsP1
  DavidObando/gsharp#5805 · Filter by author DavidObando opened on Nov 6, 2026

• Prepare gsc for .NET 11: net11.0 plumbing, Runtime Async, and C# 15 interop

  enhancementP3
  DavidObando/gsharp#5765 · Filter by author DavidObando opened on Nov 5, 2026
  3

• Decide whether an await in a go argument should suspend the spawner instead of GS0576 (ADR-0174 D5)

  OatsP2
  DavidObando/gsharp#5709 · Filter by author DavidObando opened on Nov 3, 2026

• cs2gs keeps '?[...]' on a local that gsc narrows to non-null (GS0300)

  OatsP2
  DavidObando/gsharp#5706 · Filter by author DavidObando opened on Nov 3, 2026

• cs2gs: a dropped by-ref suppression stored into a var local, an array element or a type-parameter field with written type arguments does not bind

  OatsP1
  DavidObando/gsharp#5701 · Filter by author DavidObando opened on Nov 3, 2026

• cs2gs: a typed deconstructing foreach drops the target types and conversions

  OatsP1
  DavidObando/gsharp#5700 · Filter by author DavidObando opened on Nov 3, 2026

• cs2gs: a record with its own Deconstruct translates to a data class that redeclares it (GS0232)

  OatsP1
  DavidObando/gsharp#5699 · Filter by author DavidObando opened on Nov 3, 2026
  1

• gsc: an expression-bodied function literal converts a T? result to a non-null delegate return with no diagnostic

  OatsP1
  DavidObando/gsharp#5686 · Filter by author DavidObando opened on Nov 3, 2026

• cs2gs lowers a top-level list pattern on a nullable local without a nil guard (GS0158, GS0116)

  OatsP1
  DavidObando/gsharp#5684 · Filter by author DavidObando opened on Nov 3, 2026

• ADR-0213 L1: collected stricter-than-main shapes (one-rule call arguments and review findings)

  OatsP1
  DavidObando/gsharp#5662 · Filter by author DavidObando opened on Nov 3, 2026

• cs2gs: a var capture whose scrutinee carries a G#-only T? value through an unnamed flow keeps main's bridge decision

  OatsP1
  DavidObando/gsharp#5656 · Filter by author DavidObando opened on Nov 2, 2026