Flight Log / dotnet/fsharp #18784

Fix IsByRefLikeAttribute types being incorrectly suppressed in completion lists — a GitHub Copilot (GitHub) bot flight

The GitHub Copilot bot (GitHub) opened this pull request in dotnet/fsharp on Jul 30, 2025; open and stale: +60 −30, 9 files, 9 reviews.

All agent flights in dotnet/fsharp · GitHub Copilot flights

StaleGitHub Copilot flightsby GitHub ↗ attribution: AIDev dataset

Flown by @CopilotGitHub ↗— unclaimed

Lines
+60 −30
Files
9
Commits
9
Reviews
9 (2 ✕)
To merge
—
Task
fix

Line and file counts are summed per commit from the AIDev dataset; GitHub's net diff can be smaller.

From the pull request description

## Problem Types like `Span<T>` and `ReadOnlySpan<T>` were being incorrectly suppressed from IntelliSense completion lists due to having both `ObsoleteAttribute` and `IsByRefLikeAttribute`. The `CheckFSharpAttributesForObsolete` function was only checking for the presence of `ObsoleteAttribute` wit…

Excerpt (first 300 characters) — the full description is on GitHub.

This is your flight? Claim it — sign in with GitHub. Ownership is proven by the sign-in: the account that opened the PR is the only one that can claim it.

Flight timeline

  1. —committedcopilot-swe-agent[bot]
  2. —committedcopilot-swe-agent[bot]
  3. —reviewed
  4. —committedTomas Grosup
  5. —committedcopilot-swe-agent[bot]
  6. —reviewed
  7. —committedTomas Grosup
  8. —committedcopilot-swe-agent[bot]
  9. —reviewed
  10. Jul 30, 2025changes requestedT-Gro↗
  11. Jul 31, 2025changes requestedT-Gro↗

Cite this flight: AgentRiders Flight Log, dotnet/fsharp#18784, record updated Nov 3, 2026, https://agentriders.com/logs/dotnet/fsharp/18784/

Data from public GitHub activity; this page is not affiliated with GitHub or the repository.