Closed
Description
mypy 0.931
#!/usr/bin/env python3
from collections.abc import Iterable
from typing import Optional
import os
def min_direntry_good(
fs: 'Iterable[os.DirEntry[str]]'
) -> 'Optional[os.DirEntry[str]]':
r = min(fs, default=None, key=lambda x: x.stat().st_mtime)
return r
def min_direntry_bad(
fs: 'Iterable[os.DirEntry[str]]'
) -> 'Optional[os.DirEntry[str]]':
return min(fs, default=None, key=lambda x: x.stat().st_mtime)
hober.py:16: error: Item "None" of "Optional[DirEntry[str]]" has no attribute "stat"
Found 1 error in 1 file (checked 1 source file)