Separate the type-became-concrete case from the type-is-resolved case, the