Ensure that `DefaultResolver` is exported properly.
Merge pull request #5025 from rjackson/ensure-default-resolver-is-exported-properly

Ensure that `DefaultResolver` is exported properly.