ir: We can't guarantee the type to be in the item map while propagating AlreadyResolved

The item may come from a recursive check down the stack, and as we say there:

> Unchecked because we haven't finished this type yet.

Fixes #1127