[TYPECHECK]
generated-members=app.logger