fn patch_lifetimes(ty: &Type) -> Type
Recursively patches lifetimes in a type, adding 'a to references without a lifetime and recursing into generic arguments and tuples.
'a