un article sur la façon dont Pyrefly gère certaines contraintes de typage : https://pyrefly.org/blog/type-narrowing/.
Ce concept avait été présenté par Florian Strzelecki lors de la session #PythonRennes "A kinf of magic!" (https://youtu.be/T5k616MqHCs?list=PLv7xGPH0RMUT1GSCGHJmqnswpk-nyz5aq&t=1272).




