Python'da [] ve {} gibi boş kapsayıcılar (listeler ve sözlükler) sıkça kullanılır. Fonksiyonlar genellikle boş bir kapsayıcı oluşturup, içini doldurup, sonra bu kapsayıcıyı döndürür. Ancak bu yaygın kodlama deseni, Python tip denetleyicileri için ilginç bir zorluk teşkil eder. Bir tip denetleyici x = y gibi bir atama gördüğünde, y'nin tipine bakarak x'in tipini kolayca çıkarabilir. Fakat y boş bir kapsayıcı olduğunda (örneğin x = {}), denetleyici bunun bir liste veya sözlük olduğunu bilir, ancak içine ne tür öğeler konulacağı hakkında hiçbir fikri olmaz. Bu durum, tip denetleyicinin x'in tipini bilmeden fonksiyonun geri kalanını nasıl analiz edeceği sorusunu ortaya çıkarır. Farklı tip denetleyiciler bu sorunu çözmek için farklı stratejiler uygular.
En basit yaklaşımlardan biri, kapsayıcı öğeleri için Any tipini kullanmaktır. Örneğin, geliştirici x = [] yazdığında, tip denetleyici x'in tipini list[Any] olarak çıkarır. Pyre, Ty ve Pyright gibi denetleyiciler genellikle bu şekilde davranır. Bu yaklaşım, herhangi bir çevreleyen bağlama bakmayı gerektirmediği için anlaşılması en kolay ve uygulanması en verimli yöntemlerden biridir. list[Any] çıkarımı, en az tip hatası üreten stratejidir; çünkü geliştiriciler listeye her şeyi ekleyebilir ve listeden okunan öğeler de Any tipinde kabul edilir.
Ancak, Any tipini çıkararak aslında tip güvenliğinden ödün verilmiş olur. Tip denetleyici yanlış pozitif hatalar vermese de, potansiyel hataları da yakalayamaz. Makalede verilen örneğe göre, append yerine yanlışlıkla extend kullanıldığında, list[Any] çıkarımı bu hatayı tespit edemez ve çalışma zamanında pahalı çökmelere yol açabilir. Bu durum, özellikle Instagram gibi büyük ölçekli projelerde ciddi sorunlara neden olmuştur. Tip denetleyicilerinin bu tür senaryolarda tip güvenliğini artırmak için farklı bağlam tabanlı çıkarım yöntemleri geliştirmesi gerektiği vurgulanmaktadır.
Python tip denetleyicilerinin boş kapsayıcıların eleman tiplerini doğru çıkaramaması, kodda gizli hatalara ve çalışma zamanı çökmelerine yol açarak tip güvenliğini ciddi şekilde zayıflatır.