All pull requests

Pull requests

• Extract common functions for checking top-level nullness compatibility at pseudo-assignments

  #2089·msridhar opened Oct 28, 2026Collaborator·

  ·
  4

• Propagate inferred array nullness through flow

  #2086·subhramit opened Oct 28, 2026Collaborator·3/3·

  ·
  1

  1

• Constraint Solver C - Preserve fixed bounds through wildcard inference

  #2085·subhramit opened Oct 28, 2026Collaborator·2/3·

  ·
  2

  1

• Constraint Solver B - Certify full-type generic inference

  #2084·subhramit opened Oct 28, 2026Collaborator·1/3·

  ·
  1

  3

• Variable renaming to reflect presence of method references in some data structures

  #2082·msridhar opened Oct 28, 2026Collaborator·

  ·
  1

• Check method references consistently across target contexts

  #2080·msridhar opened Oct 26, 2026Collaborator·

  ·
  1

  21

• Model the JSpecify NO_CHANGE nullness operator for wildcard reads

  #2069·vlsi opened Oct 24, 2026Collaborator·

  ·
  7

• Read Guava @ParametricNullness as a bare type variable in standard mode

  #2065·vlsi opened Oct 24, 2026Collaborator·

  ·
  3

• Honor unspecified nullness on unmarked generic method returns

  #2059·ajaykr0905 opened Oct 23, 2026·

  ·
  1

  6

• Model Guava's EntryTransformer as non-null and skip Guava functional models in JSpecify mode

  #2040·vlsi opened Oct 22, 2026Collaborator·

  ·
  1

  9

• QoL: Use modern GitHub issue templates

  #2019·subhramit opened Oct 21, 2026Collaborator·1 of 3 tasks·

  ·
  37

• Run crash and metamorphic oracles over NullAway's test sources on master

  #2009·vlsi opened Oct 21, 2026Collaborator·

  ·
  7

• Honor declaration @Nullable on parameters in JSpecify generic checks

  #1983·vlsi opened Oct 19, 2026Collaborator·

  ·
  6

• Compile against the oldest supported Error Prone

  #1982·vlsi opened Oct 19, 2026Collaborator·

  ·
  4

• Automerge Renovate updates except Error Prone and the Checker Framework

  #1980·vlsi opened Oct 19, 2026Collaborator·

  ·
  2

• Preserve nullability of intersection bounds

  #1972·subhramit opened Oct 19, 2026Collaborator·

  ·
  1

  61

• Resolve an inference variable that a type variable admitting null reaches

  #1955·vlsi opened Oct 10, 2026Collaborator·

  ·
  4

• Read constructor type-variable bounds that anonymous classes overwrite

  #1952·vlsi opened Oct 10, 2026Collaborator·

  ·
  5

• Apply nullness annotations to the components of an intersection type

  #1949·vlsi opened Oct 9, 2026Collaborator·

  ·
  6

• Resolve dependent wildcard bounds during generic inference

  #1940·msridhar opened Oct 8, 2026Collaborator·

  ·
  2

• Restore nullness projections on super wildcard lower bounds

  #1939·msridhar opened Oct 8, 2026Collaborator·

  ·
  2

• Report contextual capture bounds in diagnostics

  #1938·msridhar opened Oct 8, 2026Collaborator·

  ·
  2

• Preserve contextual capture bounds during inference

  #1937·msridhar opened Oct 8, 2026Collaborator·

  ·
  2

• Keep the formal type variable when copying a wildcard type

  #1845·vlsi opened Sep 15, 2026Collaborator·

  ·
  7

• Require every element of an intersection bound to be @Nullable

  #1836·vlsi opened Sep 9, 2026Collaborator·

  ·
  13