search

pschanely / CrossHair

An analysis tool for Python that blurs the line between testing and type systems.
Other
996 stars 47 forks source link

Internal error: `TypeError: type.__new__() argument 3 must be dict, not ShellMutableMap` #304

Closed Zac-HD closed 1 week ago

Zac-HD commented 3 weeks ago 
  File ".../hypothesis/extra/pytz.py", line 43, in timezones
    all_timezones = [pytz.timezone(tz) for tz in pytz.all_timezones]
  File ".../hypothesis/extra/pytz.py", line 43, in <listcomp>
    all_timezones = [pytz.timezone(tz) for tz in pytz.all_timezones]
  File ".../pytz/__init__.py", line 184, in timezone
    _tzinfo_cache[zone] = build_tzinfo(zone, fp)
  File ".../pytz/tzfile.py", line 118, in build_tzinfo
    cls = type(zone, (DstTzInfo,), dict(
  File ".../crosshair/libimpl/builtinslib.py", line 4657, in _type
    return type(*map(deep_realize, a))
TypeError: type.__new__() argument 3 must be dict, not ShellMutableMap
on backend='crosshair' but overran under backend='hypothesis'

via this CI run for https://github.com/HypothesisWorks/hypothesis/pull/4034 (test_datetimes_stay_within_naive_bounds)

pschanely commented 2 weeks ago

Oh great, thanks! Should be able to fix this week.

pschanely commented 1 week ago

A little late, but have a fix in 0.0.71!