> > We do actually already emit such a check - we just emit it late. This new check now makes the later check redundant, so we should remove it. > Hi James, Could you show me where is the check you mentioned? I didn't notice it before. Thanks, Wei.