Ensure that `DefaultResolver` is exported properly.

Fixes #5024.