Bug report

Bug description:

def 4545(): # “4545” highlighted correctly
               # because identifiers cannot
               # start with digits

being highlighted:

How it should render

How it renders instead

class MID·DOT(): 

How it should render

How it renders instead

“·” (U+00B7) is a XID_Continue character

CPython versions tested on:

3.15, 3.14, 3.13, 3.9, 3.10, 3.11, 3.12

Operating systems tested on:

Windows