New resolver: Show relevant entries from user-supplied constraint files in the
error message to improve debuggability.