In the synopsis, the declaration of `find_last` does not set the default type for `T`. In [alg.find.last], it does: `class T = projected_value_t<I, Proj>` It should be in the synopsis too.