Repository navigation

Type parameters bind only inside their own declaration (rule 2 / A'; stacks on #13260) - #13265

Closed

gunbai-bot[bot] wants to merge 5 commits into

mainfrom

session/snappy-wolf-524-type-param-scope

Closed

Type parameters bind only inside their own declaration (rule 2 / A'; stacks on #13260)#13265
gunbai-bot[bot] wants to merge 5 commits into
mainfrom
session/snappy-wolf-524-type-param-scope

Commits on Oct 4, 2026
- WIP type-param scoping: declaration params bound only around their declaration (item resolution + topo body resolution); module-scope param_bindings and is_type_variable_name filters deleted. Mirro…
  
  Brian Searls
  and
  claude
  committed
  914afed
- WIP type-param scoping: mirrors regenerated (fixed point); type-variable render arms wrap optional cardinality. Still open: K?/V? on a declaration's type parameter emits without Option (pre-existin…
  
  Brian Searls
  and
  claude
  committed
  f57699f
- emit_rust: a type parameter carries its own cardinality (K? emits Option<K>)
  
  Brian Searls
  and
  claude
  committed
  2bd7a0f
- Merge session/snappy-wolf-524-optional-type-param (#13260) into type-param scoping; mirrors regenerated (pass 2 first_generation_equal=true). With #13260 underneath, A' changes only its own infer m…
  
  Brian Searls
  and
  claude
  committed
  a58cf9f
- Type params: explicit <T> at the 6 sites that relied on the module-scope leak; RED/positive controls
  
  Brian Searls
  and
  claude
  committed
  2d5645a