Stefano Gogioso

Introduce option for hljs-meta tags to not be user-selectable.

3

Currently, the `>>>` and `...` in Python REPL snippets are selectable in HTML docs (much as they are here, on Github): ```py >>> mylist = [ ... 0, 1, 2,...

(🐞) call-overload error when calling overloaded constructors which involve exhaustive Literal cases (e.g. for bool type argument)

3

**Bug Report** Mypy raises `call-overload` when attempting to call an overloaded superclass constructor, if the overload hinges on literal `True` and `False` values and the call passes a `bool` value....

Dataclasses incorrectly include ClassVar annotated attributes as fields

3

According to the [dataclass documentation](https://docs.python.org/3/library/dataclasses.html#class-variables), attributes typed as `typing.ClassVar` should be excluded from consideration as dataclass fields. In mypyc compiled code, this appears not to be the case, as demonstrated...