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!)

Estimated changes