-
-
Notifications
You must be signed in to change notification settings - Fork 4.7k
Open
Labels
effort: mediumRough estimate of time needed to fix/implement/solveRough estimate of time needed to fix/implement/solvegood first issueSkills/areas of expertise needed to tackle the issueSkills/areas of expertise needed to tackle the issuekind: todoType of issueType of issueneeds: pr mergeSpecify why not closed/merged yetSpecify why not closed/merged yetpriority: gsocReason for prioritizationReason for prioritization
Description
In preparation for index_t
, the cast either needs to be removed or it needs to be set explicitly to index_t
. I vote for removal unless it's unsupported.
Originally posted by @SergioRAgostinho in https://github.com/_render_node/MDI0OlB1bGxSZXF1ZXN0UmV2aWV3Q29tbWVudDQ0NDE1MTE1NQ==/comments/review_comment
Needs CI run on the PR resolving this issue post #4198 merge
Metadata
Metadata
Assignees
Labels
effort: mediumRough estimate of time needed to fix/implement/solveRough estimate of time needed to fix/implement/solvegood first issueSkills/areas of expertise needed to tackle the issueSkills/areas of expertise needed to tackle the issuekind: todoType of issueType of issueneeds: pr mergeSpecify why not closed/merged yetSpecify why not closed/merged yetpriority: gsocReason for prioritizationReason for prioritization