No need to override typeCheck on PTRecordTypeConstraint.