Skip to content

panic: Overload evaluation: expected arity mismatch not found #4192

Description

@correctmost

Describe the Bug

Pyrefly crashes when checking this fuzzed code:

from typing import overload

class C:
    @overload
    def __init__():
        pass

    @overload
    def __init__():
        pass

C()
ERROR Thread panicked, shutting down: panicked at pyrefly/lib/alt/overload.rs:682:30:
Overload evaluation: expected arity mismatch not found

Version info

Tested with commit 0247e0a

Sandbox Link

https://pyrefly.org/sandbox/?project=N4IgZglgNgpgziAXKOBDAdgEwEYHsAeAdAA4CeS4ATrgLYAEALqcROgOZ0Q3G6UN24AbjEpRcqTAB100gMZRUcOHQDCiaXU10AAkJFiJGrZhhg6AfXOsIDSwAoAlOvRbXdYorjSjm3cNHiUi7GphZW6Db2Tj5uHkre6CqOIAA0IGSUplCkhAy0UBQAxHQACqSZYNl0aFh4%2BHSyuOiQbACulKgMEE2E0sUAyjAwdAAWDAzEcIgA9NMZWTm8bNMw6NOYuLJw043NEG0dXU3TdGC8dKiCqNCo2LANTS3tnd0uuMRH6HC96GQMI00ALT%2BOCvOgAXjokhAAGZCABGABM0OkAG0RNRKHAALrSVoRbi8BgwTCAzAQTKyLrCCF0ADk%2B3QvBgdOkTIYgMyAEdWhSSYCANYwUiA1CyWTwZSQukAd1QlHQrPQIAAvmkxdSYAAxaAwCg1HAEEjkFVAA

(Only applicable for extension issues) IDE Information

No response

Metadata

Metadata

Labels

Type

No type

Fields

No fields configured for issues without a type.

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions