Changing

  async def main():
    async with open_file():
      pass

to

  async def main():
    c = open_file()
    async with c:
      pass

also makes it print the warning :)

Also I've made a test out of this snippet and running tests in refleak mode shows that there's indeed no refleak here.