Skip to content

Conversation

hvitved
Copy link
Contributor

@hvitved hvitved commented Oct 7, 2025

No description provided.

@github-actions github-actions bot added documentation Rust Pull requests that update Rust code labels Oct 7, 2025
@hvitved hvitved force-pushed the rust/type-inference-branch-propagation branch 2 times, most recently from 1f8f5d3 to bfea742 Compare October 8, 2025 08:20
@hvitved hvitved changed the title Rust: Non-symmetrict type propagation for if and match Rust: Non-symmetric type propagation for if and match Oct 9, 2025
@hvitved hvitved force-pushed the rust/type-inference-branch-propagation branch 2 times, most recently from 4b0f585 to 2f501e6 Compare October 10, 2025 11:06
@hvitved hvitved force-pushed the rust/type-inference-branch-propagation branch from 2f501e6 to d0b7388 Compare October 10, 2025 11:14
@hvitved hvitved changed the title Rust: Non-symmetric type propagation for if and match Rust: Non-symmetric type propagation for lub coercions Oct 10, 2025
@hvitved hvitved force-pushed the rust/type-inference-branch-propagation branch from d0b7388 to 61d6041 Compare October 10, 2025 11:55
@hvitved hvitved force-pushed the rust/type-inference-branch-propagation branch from 61d6041 to 4914a3f Compare October 10, 2025 11:55
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
documentation Rust Pull requests that update Rust code
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant