rewriter: hypothetical lifetime parameters not added to types in function signatures

[aneksteind]

For a function signature such as

fn foo<'d>(ra: &'d mut A<'d>, ppd: *mut *mut Data<'d>) {

If hypothetical lifetimes are introduced for ppd: &'h0 &'h1 Data<'d>and Data gets a hypothetical lifetime and updated to Data<'d, 'h2> we'd like the rewriter to generate:

fn foo<'d, 'h0, 'h1, 'h2>(ra: &'d mut A<'d>, ppd: &'h0 &'h1 Data<'d, h2>) {

[aneksteind]

cc @kkysen this is a potential task for you to take on in the next month if you run out of other things to do. otherwise i can get to it when i'm back

[kkysen]

Sure. What's the current behavior of the rewriter?

[aneksteind]

It avoids liftime rewrites for all non-field types

[aneksteind]

I'm working on this, so assigning just myself for the time being