pub type ForRef<T: ?Sized> = ForLt<fn(_: for<'_>) -> &T>;
ForRef<T> is a macro-free alias for ForLt!(<'any> = &'any T).
ForRef<T>
ForLt!(<'any> = &'any T)