Record type bug

[triple-raze]

from loguru import Record

def func(record: Record) -> None:
    print(record)  # using in any function, forcing mypy to do typecheck

mypy: Expression type contains "Any" (has type "Record")

its because of

class Record(TypedDict):
    elapsed: timedelta
    exception: Optional[RecordException]
    # \/\/\/\/\/\/\/\/\/\/
    extra: Dict[Any, Any]
    # /\/\/\/\/\/\/\/\/\/\ 
    file: RecordFile
    function: str
    level: RecordLevel
    line: int
    message: str
    module: str
    name: Optional[str]
    process: RecordProcess
    thread: RecordThread
    time: datetime

maybe separate Record and Record with context or something like that?

[triple-raze]

force people to use TypedDict instead

[Delgan]

That's a fair point. I assume you use the --disallow-any-expr which is extremely restrictive. In fact, even the built-in logging module exhibit a similar problem.

# demo.py
from logging import LogRecord

def func(record: LogRecord) -> None:
    print(record.msg)  

 $ mypy --disallow-any-expr demo.py 
demo.py:4: error: Expression type contains "Any" (has type "str | Any")  [misc]
Found 1 error in 1 file (checked 1 source file)

See type source code here.

I'm not sure how to fix it properly. From the user standpoint, you could loosen the type checking or ignore this specific error. From Loguru standpoint, maybe I should replace Any with object but I'm not sure yet of the implications and need to research that further.