В стандарте C++ типы закрытия определяются следующим образом:
[expr.prim.lambda.closure] Тип лямбда-выражения (который также является типом объекта замыкания) - это уникальный, неназванный тип неединичного класса, называемый типом замыкания, свойства которого описаны ниже. [...]
Стандарт, по-видимому, не определяет, является ли неопределенный тип неединичного класса окончательным. Будет ли компилятор, реализующий lambdas в качестве окончательных классов, соответствовать стандарту, или у нас есть гарантия, что можно наследовать от лямбда?
Вопрос не в том, полезен он или нет для наследования у лямбда: это то, что оно полезно. Вопрос в том, обеспечивает ли стандарт эту гарантию.