When resolving a mutable type, either get the exact type or give up