Repository navigation

not_impl quick wins: generic defaults, Promise<T>, void callbacks, explicit type arguments - #718

Merged

ASDAlexander77 merged 4 commits into

mainfrom

not-impl-quick-wins

Oct 28, 2026

Merged

not_impl quick wins: generic defaults, Promise<T>, void callbacks, explicit type arguments#718
ASDAlexander77 merged 4 commits into
mainfrom
not-impl-quick-wins

Commits on Oct 28, 2026
- A generic call with nothing to infer from takes the default, then the constraint
  
  ASDAlexander77
  and
  claude
  committed
  9b5ff3f
- `Promise<T>` is T
  
  ASDAlexander77
  and
  claude
  committed
  51644f6
- A callback whose result is ignored may return one; explicit type arguments type the arguments
  
  ASDAlexander77
  and
  claude
  committed
  dee75f4
- Specialise ahead of the arguments only with known type arguments, and with the call's own operands
  
  ASDAlexander77
  and
  claude
  committed
  692f96d