Skip to content

chore: replace a real IRole with a type intersection#35885

Merged
mergify[bot] merged 1 commit intomainfrom
huijbers/reintro-intersections
Oct 29, 2025
Merged

chore: replace a real IRole with a type intersection#35885
mergify[bot] merged 1 commit intomainfrom
huijbers/reintro-intersections

Commits

Commits on Oct 29, 2025