Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

RFC #9: remove pointless Const.cast(obj, shape) overload #14

Merged

Conversation

whitequark
Copy link
Member

It serves no purpose other than to complicate Const.cast's type signature, and introduces an edge case of shape being a Shape and not a ShapeCastable, for which no behavior seems correct.

It serves no purpose other than to complicate `Const.cast`'s type
signature, and introduces an edge case of `shape` being a `Shape`
and not a `ShapeCastable`, for which no behavior seems correct.
@whitequark whitequark merged commit 7d5dbff into amaranth-lang:main May 12, 2023
@whitequark whitequark deleted the rfc-9-remove-pointless-overload branch May 12, 2023 19:59
@whitequark whitequark added the area:core RFC affecting APIs in amaranth-lang/amaranth label Aug 21, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
area:core RFC affecting APIs in amaranth-lang/amaranth
1 participant