Type check is done.