See the discussion in https://github.com/mmtk/mmtk-core/pull/1333. We should revisit this later (either allow the lint, or adapt the codebase according to the lint).
