It's a bug, of course. Errors saying "resolver problem" shouldn't really occur at all (unless the resolver in the master has been replaced, perhaps).
The architecture in the compiler and resolver is unfortunately flawed so all those cases cannot be fixed without a major rewrite, but in this case it looks like a simple path trimming bug.