round file

noun2

1. •
   A metal file with a circular or rounded shape, used for shaping round surfaces.

   • Use a round file to deburr the pipe.
2. •
   (humorous) The trash; the wastebasket.

   • My junk mail goes straight into the round file the moment it arrives.