Progress so far

1. Lifetime repairs
   • main repair strategies implemented: loosest bounded lifetimes, and tightest bounded lifetimes.
   • lifetime elisions for output without using compiler.
   • formalization not done yet: do we always get an annotation that rustic accept? What properties does the annotation have?
2. Borrowing:
   • strategy decision:
     fold over syntax tree and check for mutable uses.
     fold over caller function and check for uses after.
     check whether type implements Copy trait.
     Not using dataflow analysis as the framework doesn't exist and actually requires hacking the compiler.
   • initial works on implementation ongoing.
3. Non-local control flows:
   • strategy decision: simple fold over syntax tree
   • pseudocode ready.
4. Motivations:
   • a few real-life examples collated.
   • need to collect more empirical data and then make a table showing how the current implementation does compare to VSC and IJ.
5. Misc:
   • slicing