The checks will have to go here because of the way things get resolved within the `Scope`.