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).