False positive `overload-overlap` with booleans and integer literals

Bug Report, To Reproduce, & Actual Behaviour

The following 2 cases trigger overload-overlap, when neither of them should (see mypy Playground).

from typing import overload, Literal

@overload
def display_str_literal(val: Literal[False], /) -> Literal["BooleanFalse"]: ...  # E: ... overload-overlap
@overload
def display_str_literal(val: Literal[0], /) -> Literal["Zero"]: ...

from typing import overload, Literal

@overload
def display_str_literal_2(val: bool, /) -> Literal["Boolean"]: ...
@overload
def display_str_literal_2(val: Literal[-1], /) -> Literal["NegativeOne"]: ...

• Mypy version used: 1.18.2
• Python version used: 3.12, 3.13

Inizia con le due riproduzioni nel mypy Playground collegato e conferma le diagnostiche di sovrapposizione degli overload su Python 3.12 o 3.13. Traccia il percorso del type checker che segnala la sovrapposizione degli overload per i booleani Literal e i letterali interi; il lavoro è completato quando entrambi gli esempi superano il controllo dei tipi senza una diagnostica di falso positivo.