| commit | d8320ecb86da8df7c13d8bf8582507f736aa2924 | [log] [tgz] |
|---|---|---|
| author | Michael J. Sullivan <sully@msully.net> | Sat May 11 11:17:24 2019 -0700 |
| committer | Ivan Levkivskyi <levkivskyi@gmail.com> | Sat May 11 19:17:24 2019 +0100 |
| tree | 87fc131f7bfdda0688b1d93ab9bce801c5f8a944 | |
| parent | 6236c9823ef3e8e2229b0598d3d8189adf5e00f2 [diff] |
bpo-36878: Allow extra text after `# type: ignore` comments (GH-13238) In the parser, when using the type_comments=True option, recognize a TYPE_IGNORE as anything containing `# type: ignore` followed by a non-alphanumeric character. This is to allow ignores such as `# type: ignore[E1000]`.