apply_type_with_promotion#1681

Merged

wsmoses merged 15 commits intomainfrom

jm/promote_type_params

Dec 10, 2025

Commits on Sep 18, 2025

apply_type_with_promotion
jumerckx
committed

Commits on Sep 19, 2025

Commits on Nov 21, 2025

Commits on Nov 29, 2025

Commits on Dec 1, 2025

Commits on Dec 2, 2025

add to docs
jumerckx
committed

Commits on Dec 4, 2025

Merge branch 'main' into jm/promote_type_params
jumerckx
authored