Interoperability issue with module level inline annotations

pyright doesn’t seem to actually allow this, it gives an error where you call .update.

Cannot access attribute "update" for class "Mapping[str, int]"
  Attribute "update" is unknown  (reportAttributeAccessIssue)

playground link