Can we make AbstractContextManager.__exit__ concrete?

[Daverball (David Salvisberg)]

There has been a discussion just recently how type checkers should treat this case: Calling abstract methods

I think this is a bug in type checker behavior, not a problem with the implementation.