Propagate Self trait bound into invariant_context formula fns#131

coord-e merged 2 commits into

maincoord-e/thrust:mainfrom

claude/epic-pasteur-7buhricoord-e/thrust:claude/epic-pasteur-7buhriCopy head branch name to clipboard