Way to show inferred types and lifetimes

This is a big handwave, but it would be super-useful if there were some way to show inferred types and lifetimes. It would be very useful for learning/teaching/exploring code samples.

I don't know what tech exists to enable this - perhaps RLS integration?