Add __brand to make empty interfaces nominal - #2075
Draft
saschanaz wants to merge 2 commits into
Draft
Commits
Commits on Jul 19, 2025
- committed
- committed
__brand to make empty interfaces nominal - #2075