Skip to content

Never substitute bound type variables; defer rigid fundep improvements#1037

Open
nanavati wants to merge 20 commits into
B-Lang-org:mainfrom
nanavati:claude/bound-variable-discipline
Open

Never substitute bound type variables; defer rigid fundep improvements#1037
nanavati wants to merge 20 commits into
B-Lang-org:mainfrom
nanavati:claude/bound-variable-discipline

testsuite: pin the modal earlier-instance-may-capture judgment

6a1639a
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Check: code cleanliness
succeeded Jul 15, 2026 in 6s