Flight Log / dotnet/docs #46258

Add documentation for compiler error CS9036 — a GitHub Copilot (GitHub) bot flight

The GitHub Copilot bot (GitHub) opened this pull request in dotnet/docs on May 19, 2025; merged after rework in 10.1 d: +1,809 −505, 207 files, 8 reviews.

All agent flights in dotnet/docs · GitHub Copilot flights

Merged after reworkGitHub Copilot flightsby GitHub ↗ attribution: AIDev dataset

Flown by @CopilotGitHub ↗— unclaimed

Lines
+1,809 −505
Files
207
Commits
14
Reviews
8 (1 ✕)
To merge
10.1 d
Task
docs

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

Copilot opened a docs pull request in dotnet/docs documenting compiler error CS9036, which involves nested initializers on a required member. It touched 207 files over fourteen commits and drew eight reviews, one change request, and five comments. A reviewer wrote, "Just one thing to fix." It merged after rework, 243.25 hours later.

“Just one thing to fix.”

— from the review (source)

From the pull request description

This PR adds documentation for the compiler error CS9036, which occurs when attempting to use a nested member or collection initializer syntax with a `required` member. The error happens in scenarios like this: ```csharp class C { public string? Prop { get; set; } } class Program { public…

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. —committedcopilot-swe-agent[bot]
  4. May 19, 2025labeleddotnet-policy-service[bot]
  5. May 19, 2025labeleddotnet-policy-service[bot]
  6. May 19, 2025labeleddotnet-policy-service[bot]
  7. May 19, 2025labeleddotnet-policy-service[bot]
  8. May 29, 2025changes requestedadegeo↗

Cite this flight: AgentRiders Flight Log, dotnet/docs#46258, record updated Nov 4, 2026, https://agentriders.com/logs/dotnet/docs/46258/

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