You know, I had forgotten we were talking about a washer. A lint trap didn’t even make sense.

EDIT: Surprisingly, I checked mine in this past year when I was having trouble with my washer. I didn’t know that’s what it was called though. It had nothing in it even though I’ve definitely washed some coins. They end up in my lint trap in the drier.