Repository navigation

Use tagged union for getaddrinfo() - #16010

Merged

srittau merged 4 commits into

python:mainfrom

Dreamsorcerer:getaddrinfo-tagged-union

Jul 13, 2026

Merged

Use tagged union for getaddrinfo()#16010
srittau merged 4 commits into
python:mainfrom
Dreamsorcerer:getaddrinfo-tagged-union

Commits on Jul 13, 2026
- Use tagged union for getaddrinfo()
  Dreamsorcerer
  committed
  c0af3c2
- Include socket
  Dreamsorcerer
  committed
  6b7ba79
- Update socket.pyi
  Dreamsorcerer
  authored
  4687315
- Update socket.pyi
  Dreamsorcerer
  authored
  72f300a