Skip to content

types/rtti/todo: closed containers by default, then option as omission - #1725

Merged
sergey-shandar merged 46 commits into
mainfrom
claude/rtti-proposal-qqkct0
Aug 27, 2026
Merged

types/rtti/todo: closed containers by default, then option as omission#1725
sergey-shandar merged 46 commits into
mainfrom
claude/rtti-proposal-qqkct0

rtti/todo: retarget the two references that outlive the deleted issue

4ae8bad
Select commit
Loading
Failed to load commit list.