Issues

• Exponential type comparison on recursive types with generic function binders

  xch-dev/rue#170 · Filter by author Rigidity opened on Oct 23, 2026

• Support _ to infer individual generic arguments at call sites

  enhancement
  xch-dev/rue#158 · Filter by author Rigidity opened on Oct 21, 2026

• Consider intersection types for narrowing generics

  enhancement
  xch-dev/rue#152 · Filter by author Rigidity opened on Oct 21, 2026

• Inference doesn't resolve generics that are inferred from other generics

  bug
  xch-dev/rue#146 · Filter by author Rigidity opened on Oct 21, 2026

• Compiler panics when a returned closure captures a runtime argument

  bug
  xch-dev/rue#145 · Filter by author Rigidity opened on Oct 21, 2026

• Improve runtime type check generation for large and deeply nested types

  enhancement
  xch-dev/rue#144 · Filter by author Rigidity opened on Oct 21, 2026

• Inlining skips or defers values that can fail, silently dropping checks

  bug
  xch-dev/rue#142 · Filter by author Rigidity opened on Oct 21, 2026

• Audit every unresolved placeholder to make sure it is covered by an error

  bug
  xch-dev/rue#130 · Filter by author Rigidity opened on Oct 21, 2026

• assume_checked semantics and example puzzle cleanup

  enhancement
  xch-dev/rue#124 · Filter by author Rigidity opened on Oct 20, 2026

• unchecked_input lint: function summaries, recursion and function values

  enhancement
  xch-dev/rue#123 · Filter by author Rigidity opened on Oct 20, 2026

• unchecked_input lint: analysis within a single function

  enhancement
  xch-dev/rue#122 · Filter by author Rigidity opened on Oct 20, 2026

• Add assume_checked syntax

  enhancement
  xch-dev/rue#121 · Filter by author Rigidity opened on Oct 20, 2026

• Record static types of HIR nodes

  enhancement
  xch-dev/rue#120 · Filter by author Rigidity opened on Oct 20, 2026

• Lint framework with configurable levels

  enhancement
  xch-dev/rue#119 · Filter by author Rigidity opened on Oct 20, 2026

• Epic: lint for unverified assumptions about unchecked inputs

  enhancement
  xch-dev/rue#118 · Filter by author Rigidity opened on Oct 20, 2026

• LIR codegen overflows a 2 MiB thread stack for an 80-level valid program

  xch-dev/rue#114 · Filter by author judeallred opened on Oct 17, 2026

• Nested logand/logior flattening defers malformed-input rejection past a recursive operand

  xch-dev/rue#112 · Filter by author judeallred opened on Oct 17, 2026