Fix #2418: Fix crash in smart resolver when the resolution doesn't work.