When is id promoted to instancetype?