search

immunant / c2rust

Migrate C code to Rust
https://c2rust.com/
Other
3.81k stars 220 forks source link

fix mismatch in number of origin parameters for cast result #976

Closed aneksteind closed 1 year ago

aneksteind commented 1 year ago

Fixes #944. Previously cast result types were labeled with the default label, which have no OriginParams. This PR mimics the behavior of labeling cast results in the special case that the cast was from a null const type, where we relabled the expected_ty with fresh origins.