DefIndex formatting should split the "address space" and actual index. #44318

Closed

Closed

DefIndex formatting should split the "address space" and actual index.#44318

Right now we see things like DefIndex(2147483663) and DefIndex(2147483659) which are annoying to look at and tell any differences between - compare to 1:11 and 1:15.

Metadata

Assignees

No one assigned

Labels

No labels

No labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests