Skip to content

Conversation

@mitinarseny
Copy link

@mitinarseny mitinarseny commented Dec 9, 2025

This PR extends following traits with <Rhs = Self> type parameter relaxing the trait bound requirements, while maintaining backwards-compatibility:

  • CheckedAdd
  • CheckedSub
  • CheckedMul
  • CheckedDiv
  • CheckedRem
  • CheckedShl
  • CheckedShr
  • Euclid
  • CheckedEuclid
  • OverflowingAdd
  • OverflowingSub
  • OverflowingMul
  • SaturatingAdd
  • SaturatingSub
  • SaturatingMul
  • WrappingAdd
  • WrappingSub
  • WrappingMul
  • WrappingShl
  • WrappingShr

@mitinarseny mitinarseny changed the title feat: forward <Rhs = Self> type parameter in trait bounds feat: propagate <Rhs = Self> type parameter to trait bounds Dec 9, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant