Ez a PyCharm sajátja, más lintert rá sem engedtem már. Lehet, hogy máshol továbbengedi.
abc nem lehet (amíg nincs definiálva, nyilván), mert Unresolved reference 'abc'. Ráadásul ha abc a hint, akkor a food(AAAA) sorra fogja azt mondani, hogy Type 'int' doesn't have expected attribute 'add', mivel az AAAA-nak amikor értéket adtál, akkor type hinting nélkül is rájön, hogy az egy int.