linters: with_defaults()