toRecordPatternExpr