SQL error when filtering for "File: Has file downloads" and not using any "File" field

When filtering for "File: Has file downloads", a table join is missing. The wrong queries go like this:

SELECT count(node.nid) FROM node node WHERE (file_revisions.fid)

and

SELECT node.nid FROM node node WHERE (file_revisions.fid) LIMIT 0, 10

Of course we get Unknown column 'file_revisions.fid' warnings because of this.

As soon as we add one of the "File" fields to the View — say "File: Name" — then the file_revisions table gets included in the query and the filter works.

I noticed this problem while trying to implement a similar filter for another module.