Commit 2023-06-28 10:21 955998cf
View on Github →chore: cleanup porting notes about refine_struct (#5542)
Replace some porting notes about refine_struct
with uses of refine'
. We only really miss refine_struct
in situations where we later used pi_instance_derive_field
.
I also exercised some editorial discretion to remove some porting notes about refine_struct
when the original usage was (in my opinion) obfuscatory relative to just writing out the fields. (We shouldn't be using alternatives to handle different fields!)