All pull requests

Pull requests

• hy-check(sendability): recurse into set[T] in has_non_sendable_leaf, bind enum match arm dirs, and guard shadowed spawn/close callees (Fixes #3893)

  #3894·Burapa-J opened Nov 6, 2026Contributor·

  ·
  1

• hy-check(loans): extend outer A2/A3 loan windows across loops and track move-wrapped borrow/slot-loan aliases (Fixes #3891)

  #3892·Burapa-J opened Nov 6, 2026Contributor·

  ·
  1

• tools: add --race to the differential loop and hyb build

  #3890·ryder777777 opened Nov 6, 2026Contributor·

  ·

• fix(tools): align triage scan test detection with shepherd gate conventions (fixes #2508)

  #3887·gorky117-cell opened Nov 6, 2026Contributor·

  ·
  1

• fix(hy-check): assign Float result kind to real/imag and reject non-numeric args & variadic spread (fixes #3072, fixes #3061, fixes #3077)

  bot:land-candidate
  #3886·gorky117-cell opened Nov 6, 2026Contributor·

  ·
  3

• fix(hy-check): reject conversions from interface (any) to concrete types (fixes #2482)

  bot:land-candidate
  #3885·gorky117-cell opened Nov 6, 2026Contributor·

  ·
  1

• hy-check(closures): enforce HYB-E3011 on outer moves after inner-block rebinds and for-in/match pattern shadows (Fixes #3882)

  bot:land-candidate
  #3883·Burapa-J opened Nov 6, 2026Contributor·

  ·
  1

• hy-check(recv): check receive operands across file-level const, struct, alias, enum, and fn signature TypeExprs (fixes #3880)

  bot:land-candidate
  #3881·cyzcz opened Nov 6, 2026·

  ·
  1

• hy-check(loans): inspect set[T] and instantiated generic structs in field_borrow_kind (fixes #3878)

  bot:land-candidate
  #3879·cyzcz opened Nov 6, 2026·

  ·
  1

• hy-check(resolve): check fn and closure signature types before seeding parameter/result names (fixes #3876)

  bot:land-candidate
  #3877·cyzcz opened Nov 6, 2026·

  ·
  1

• hy-check(range_iter): classify runtime string slice/concat/interp and call-bearing array len/cap bounds as int (fixes #3874)

  bot:land-candidate
  #3875·cyzcz opened Nov 6, 2026·

  ·
  1

• hy-check(sendability): inspect set[T] element shapes in shape_holds_* and pop seen stack in shape_is_const_sendable (fixes #3872)

  bot:land-candidate
  #3873·cyzcz opened Nov 6, 2026·

  ·
  1

• hy-check(sendability): enforce HYB-E4001 N1 null-safety on elided struct/slice literals, map keys, and some(nil) (fixes #3870)

  bot:land-candidate
  #3871·cyzcz opened Nov 6, 2026·

  ·
  1

• hy-check(foreign): gate http, url.values, and time.duration method surfaces against phantom methods (fixes #3868)

  bot:land-candidate
  #3869·cyzcz opened Nov 6, 2026·

  ·
  1

• hy-check(const_init): reject type-parameter shadows on const conversions, ascriptions, and file constants (fixes #3851)

  bot:land-candidate
  #3867·dextermos-dev opened Nov 6, 2026Contributor·

  ·
  1

• hy-emit: infer comparable constraints from new(set[t]), ==/!=, methods, and transitive generic structs (fixes #3865)

  bot:land-candidate
  #3866·cyzcz opened Nov 6, 2026·

  ·
  1

• hy-check(buildable): validate arity and operands of special member lowerings (time, os, hex) (fixes #3863)

  bot:land-candidate
  #3864·bradwue313 opened Nov 6, 2026·

  ·
  1

• hy-check(range_iter): prevent caller local shadows on const bounds and guard enum/type-param set iterables (fixes #3853)

  bot:land-candidate
  #3861·dextermos-dev opened Nov 6, 2026Contributor·

  ·
  1

• hy-check(shape): track handle provenance across set[T] and unresolved generic structs and guard shadowed call shapes (Fixes #3859)

  bot:land-candidate
  #3860·Burapa-J opened Nov 6, 2026Contributor·

  ·
  1

• hy-check(tuple): check array-length TypeExprs, isolate file-const fn callees, and guard shadowed package/type-param callees (Fixes #3857)

  bot:land-candidate
  #3858·Burapa-J opened Nov 6, 2026Contributor·

  ·
  1

• hy-check(emit_guard): reject foreign method receivers and field/method collisions, accept zero-field struct receivers (fixes #3855)

  bot:land-candidate
  #3856·cyzcz opened Nov 6, 2026·

  ·
  1

• hy-check(range_iter): isolate file-const bound chains, propagate typed const bounds, and reject shadowed set iterables (Fixes #3853)

  bot:land-candidate
  #3854·Burapa-J opened Nov 6, 2026Contributor·

  ·
  1

• hy-check(const_init): reject type-param-shadowed conversions, type ascriptions, and file constants in HYB-E6003 (Fixes #3851)

  bot:land-candidate
  #3852·Burapa-J opened Nov 6, 2026Contributor·

  ·
  1

• hy-check(emit_guard): reject SPEC primitive types and conversions when Go target name is shadowed (fixes #3832)

  bot:land-candidate
  #3850·dextermos-dev opened Nov 6, 2026Contributor·

  ·
  1

• hy-check(try_context): reject type-param and lexical/const value shadows on E11 and E4 signature types (Fixes #3848)

  bot:land-candidate
  #3849·Burapa-J opened Nov 6, 2026Contributor·

  ·
  1