Repository navigation

Support for `<expr> instanceof <Type> <var>` - #3976

Draft

wadoon wants to merge 4 commits into

mainfrom

weigl/instanceof

Commits on Oct 9, 2026
- add `x instanceof T y`
  wadoon
  committed
  f8e945c
- add a first matching debugging tool
  wadoon
  committed
  e7cbe9d
- Fix in replacewith of "instance_eval_id" taclet and added small example
  
  unp1
  authored and
  wadoon
  committed
  bc515ea
- add cast in pos/negBinding, more rules
  wadoon
  committed
  52c8108