Using a TypedDict to type check attributes yields static type checking errors

[choucavalier]

from typing import TypedDict

import htpy


class SomeAttributes(TypedDict, total=False):
  id: str
  class_: list[str]


attrs: SomeAttributes = {"id": "foo", "class_": ["baz", "bar"]}

htpy.div(**attrs)[None]

Argument of type "object" cannot be assigned to parameter "kwargs" of type "Attribute" in function "__call__"    Type "object" is not assignable to type "Attribute"

Any idea how I can avoid this kind of type checking errors? I'm not sure what I'm doing wrong here

[pelme]

what type checker are you using? mypy with strict mode has no problems with this for me:

$ cat t.py
from typing import TypedDict

import htpy


class SomeAttributes(TypedDict, total=False):
  id: str
  class_: list[str]


attrs: SomeAttributes = {"id": "foo", "class_": ["baz", "bar"]}

htpy.div(**attrs)[None]

$ mypy --strict t.py
Success: no issues found in 1 source file

[pelme]

I got the same error message as you when using pyright. Maybe this is a bug in pyright?