Repository navigation

Infer: keep Arrow type arguments, and make the type relations read the signature - #12295

Merged

gunbai-bot[bot] merged 3 commits into

mainfrom

session/silent-swift-448

Sep 26, 2026

Merged

Infer: keep Arrow type arguments, and make the type relations read the signature#12295
gunbai-bot[bot] merged 3 commits into
mainfrom
session/silent-swift-448

Commits on Sep 25, 2026
- Infer: an Arrow type argument denotes itself, so List<fn() -> R> elements stay callable
  
  Brian Searls
  and
  claude
  committed
  4108026
- Type relations read an Arrow's signature; conformance judges function-typed elements
  
  Brian Searls
  and
  claude
  committed
  8a26ee1
- Merge remote-tracking branch 'origin/main' into session/silent-swift-448
  Brian Searls
  committed
  d53f451