Skip to content

[WIP] Support for non-concrete types in promote_rule(::Type{<:FixedPoint}, ::Type{<:FixedPoint}) - #341

Draft
kimikage wants to merge 1 commit into
JuliaMath:masterfrom
kimikage:relax_promote_rule
Draft

kimikage wants to merge 1 commit into
JuliaMath:masterfrom
kimikage:relax_promote_rule

Conversation

@kimikage

@kimikage kimikage commented Sep 29, 2026 •

Copy link
Copy Markdown
Collaborator

I don't think this will help resolve the invalidation issue, but it will improve the consistency of our design policies.

@codecov

codecov Bot commented Sep 29, 2026 •

Copy link
Copy Markdown

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 96.71%. Comparing base (e85f66b) to head (9fe6bdd).

Additional details and impacted files
@@            Coverage Diff             @@
##           master     #341      +/-   ##
==========================================
+ Coverage   96.69%   96.71%   +0.01%     
==========================================
  Files           7        7              
  Lines         818      821       +3     
==========================================
+ Hits          791      794       +3     
  Misses         27       27              

☔ View full report in Codecov by Harness.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:
  • ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

@kimikage
kimikage marked this pull request as draft September 29, 2026 07:40
@kimikage kimikage changed the title Relax the type constraints for promote_rule(::Type{<:FixedPoint}, ::Type{<:FixedPoint}) [WIP] Relax the type constraints for promote_rule(::Type{<:FixedPoint}, ::Type{<:FixedPoint}) Sep 29, 2026
@kimikage
kimikage force-pushed the relax_promote_rule branch 2 times, most recently from 7fd13d7 to 2d314e8 Compare October 17, 2026 10:10
@kimikage

kimikage commented Oct 19, 2026 •

Copy link
Copy Markdown
Collaborator Author

Since this seems like it could turn into a lengthy discussion, I'll split the method signature changes and the actual promotion rule definitions into two separate PRs.

Edit: Done (PR #366)

@kimikage kimikage changed the title [WIP] Relax the type constraints for promote_rule(::Type{<:FixedPoint}, ::Type{<:FixedPoint}) [WIP] Support for non-concrete types in promote_rule(::Type{<:FixedPoint}, ::Type{<:FixedPoint}) Oct 25, 2026
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