yep, that's right. but it's not accessible to user code, so this isn't something that could be handled by a linter (as suggested by GP). i'm actually happy wit

yep, that's right. but it's not accessible to user code, so this isn't something that could be handled by a linter (as suggested by GP). i'm actually happy with the situation. there is literally only one way to clear a map, and it is fast.