ignore UnusedAttribute, it's not helpful for things that are obviously intentional