Skip to content

Inject witnesses that mutually depend on classes into their top#2484

Merged
nordlander merged 2 commits into
mainfrom
bind-wits-in-classes
Oct 15, 2025
Merged

Inject witnesses that mutually depend on classes into their top#2484
nordlander merged 2 commits into
mainfrom
bind-wits-in-classes

Conversation

@nordlander

Copy link
Copy Markdown
Contributor

levels instead of their methods

@nordlander nordlander enabled auto-merge October 15, 2025 15:24
@nordlander nordlander force-pushed the bind-wits-in-classes branch from 9741607 to 1abcac8 Compare October 15, 2025 17:00
@nordlander nordlander merged commit a74821b into main Oct 15, 2025
35 checks passed
@nordlander nordlander deleted the bind-wits-in-classes branch October 15, 2025 17:32
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant