I had always assumed that a file would leak if it was opened without being closed, but I just verified that if I enter the following lines of code, the file will close:
Best guess is that because the file type is a built-in type, the interpreter itself handles closing the file on garbage collection.
Alternatively, you are only checking after the python interpreter has exited, and all "leaked" file handles are closed anyways.