Consider deferring module top level in type checker

We currently never defer module top levels in type checker. This can cause some Cannot determine type of x errors in import cycles. They are real in some sense, because such code would almost certainly fail at runtime. However, this might sometimes be useful in stubs (as practice shows, this is however not important and shows up only in highly entangled import cycles, such as e.g. builtins SCC).

Aucun fichier, test ou point d’entrée n’est indiqué. Commencez par suivre le traitement au niveau supérieur des modules dans le vérificateur de types et reproduisez les erreurs Cannot determine type of x signalées dans un cycle d’importation, y compris le cas de SCC de builtins ; la tâche est terminée lorsqu’une politique de report a été définie et que des tests montrent le comportement attendu du stub.