Repository navigation

Commits

Commits on Nov 5, 2026
Commits on Oct 23, 2026
- [ty] Prioritize finite members in protocol implementation checks (#29542)
  dcreager
  authored
  b4d3834
- [ty] Short-circuit top/bottom signature comparisons (#29537)
  dcreager
  authored
  0f3bca2
Commits on Oct 22, 2026
- [ty] Check for unsatisfiable bodies before existentially quantifying (#29504)
  dcreager
  authored
  734d75a
Commits on Oct 21, 2026
- [ty] Refactor constraint traversal and cache satisfiability checks (#29492)
  dcreager
  authored
  c46acee
- [ty] Compare protocol receiver restrictions before binding (#29443)
  dcreager
  authored
  477638f
Commits on Oct 6, 2026
Commits on Sep 28, 2026
- [ty] Cache and prune constraint set paths when searching for solutions (#28864)
  dcreager
  authored
  d4bf834
Commits on Sep 25, 2026
- [ty] Handle declared constraints during solution extraction (#28753)
  dcreager
  authored
  f11b6bd
Commits on Sep 24, 2026
- [ty] Separate representation for exact constraint solutions (#28752)
  dcreager
  authored
  bc3cb57
Commits on Sep 23, 2026
- [ty] Handle declared upper bounds during solution extraction (#28048)
  dcreager
  authored
  a986302
Commits on Sep 17, 2026
- [ty] Detect declared bound/constraint violations when solving constraint sets (#28577)
  dcreager
  authored
  ec2f220
Commits on Sep 15, 2026
- [ty] Break apart constraint representation (#28249)
  dcreager
  authored
  f3b3f35
Commits on Sep 8, 2026
- [ty] Use correct top type for default declared upper bound (#28325)
  dcreager
  authored
  d380084
- [ty] Ignore removed return value when materializing paramspec values (#28323)
  dcreager
  authored
  a063c73
Commits on Sep 4, 2026
- [ty] Don't consider removed return types of paramspec values (#28315)
  dcreager
  authored
  ce6f523
Commits on Aug 26, 2026
- [ty] Extract `SequentMap` and `PathAssignments` into dedicated modules (#28080)
  dcreager
  authored
  9775a67
Commits on Aug 25, 2026
- [ty] Classify constraint lower/upper bounds as evidence vs validity (#27964)
  dcreager
  authored
  916e8e6
Commits on Aug 21, 2026
- [ty] Retain bound type-variable instances in constraint arenas (#27956)
  dcreager
  authored
  4035841
- [ty] Move path walking into custom walker (#27945)
  
  dcreager
  and
  carljm
  authored
  940c9a8
Commits on Aug 20, 2026
- [ty] More consistent encoding of which typevars are inferable (#27653)
  
  dcreager
  and
  carljm
  authored
  4637a19
Commits on Aug 12, 2026
- [ty] Remove obsolete `satisfied_by_all_typevars` constraint helper (#27696)
  dcreager
  authored
  f3cb505
- [ty] Restrict equality impossibility to static bounds (#27655)
  dcreager
  authored
  a9663e2
Commits on Aug 9, 2026
- [ty] Two equality constraints are usually disjoint (#27614)
  dcreager
  authored
  68799c4
Commits on Aug 8, 2026
- [ty] Remove unnecessary constraint set display simplification logic (#27596)
  dcreager
  authored
  24baf2c
Commits on Aug 7, 2026
- [ty] Add helper extension methods for half-range and equality constraints (#27564)
  dcreager
  authored
  c4e86fc
Commits on Aug 4, 2026
- [ty] Extract constraint-set-related benchmarks into separate file (#27459)
  dcreager
  authored
  3f50935
Commits on Jul 30, 2026
- [ty] Precalculate supports in constraint sets (#27306)
  dcreager
  authored
  4a437b0
- [ty] Borrow from constraint set storage less often (#27328)
  dcreager
  authored
  63830f3
Commits on Jul 27, 2026
- [ty] Store typevar instances in `InferableTypeVars` (#27113)
  dcreager
  authored
  904feab

Branch selector

User selector

Datepicker

Commit history

Commits on Nov 5, 2026

Commits on Oct 23, 2026

Commits on Oct 22, 2026

Commits on Oct 21, 2026

Commits on Oct 6, 2026

Commits on Sep 28, 2026

Commits on Sep 25, 2026

Commits on Sep 24, 2026

Commits on Sep 23, 2026

Commits on Sep 17, 2026

Commits on Sep 15, 2026

Commits on Sep 8, 2026

Commits on Sep 4, 2026

Commits on Aug 26, 2026

Commits on Aug 25, 2026

Commits on Aug 21, 2026

Commits on Aug 20, 2026

Commits on Aug 12, 2026

Commits on Aug 9, 2026

Commits on Aug 8, 2026

Commits on Aug 7, 2026

Commits on Aug 4, 2026

Commits on Jul 30, 2026

Commits on Jul 27, 2026