Skip to content

Add rectangletrait dispatch for Extent.#383

Merged
asinghvi17 merged 1 commit into
mainfrom
feat/extent-rectangletrait
Feb 11, 2026
Merged

Add rectangletrait dispatch for Extent.#383
asinghvi17 merged 1 commit into
mainfrom
feat/extent-rectangletrait

Commits

Commits on Jan 19, 2026