You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
clarfonthey opened this issue
Apr 19, 2021
· 2 comments
Labels
C-feature-requestCategory: A feature request, i.e: not implemented / a PR.T-libsRelevant to the library team, which will review and decide on the PR/issue.
Right now, we have most of the integer type interconversions implemented, but we're missing some falliable NonZero conversions. Namely these:
iN -> NonZeroIM (where N != M)
uN -> NonZeroIM (where N != M)
iN -> NonZeroUM (where N != M)
uN -> NonZeroUM (where N != M)
NonZeroIN -> iM (where N != M)
NonZeroIN -> uM (where N != M)
NonZeroUN -> iM (where N != M)
NonZeroUN -> uM (where N != M)
Right now, all of the integer <-> non-zero integer conversions only operate on types of the same size, rather than all the different sizes that the usual conversions allow.
Not sure if these sorts of conversions would be accepted, but my guess is that closing the transitive gap would be a good idea.
The text was updated successfully, but these errors were encountered:
There is an implementation for division by nonzero now, but yeah, there are cases where it'd be nice. But the question is mostly if they are worth the effort to add.
Dylan-DPC
added
C-feature-request
Category: A feature request, i.e: not implemented / a PR.
T-libs
Relevant to the library team, which will review and decide on the PR/issue.
labels
Feb 22, 2023
C-feature-requestCategory: A feature request, i.e: not implemented / a PR.T-libsRelevant to the library team, which will review and decide on the PR/issue.
Right now, we have most of the integer type interconversions implemented, but we're missing some falliable NonZero conversions. Namely these:
iN
->NonZeroIM
(whereN
!=M
)uN
->NonZeroIM
(whereN
!=M
)iN
->NonZeroUM
(whereN
!=M
)uN
->NonZeroUM
(whereN
!=M
)NonZeroIN
->iM
(whereN
!=M
)NonZeroIN
->uM
(whereN
!=M
)NonZeroUN
->iM
(whereN
!=M
)NonZeroUN
->uM
(whereN
!=M
)Right now, all of the integer <-> non-zero integer conversions only operate on types of the same size, rather than all the different sizes that the usual conversions allow.
Not sure if these sorts of conversions would be accepted, but my guess is that closing the transitive gap would be a good idea.
The text was updated successfully, but these errors were encountered: