Skip to content

Rename @ductype and remove it from the public API #596

Closed
@JukkaL

Description

@JukkaL

@ducktype is not part of PEP 484, so remove it from the public API (it can still be used internally in stubs).

Also, rename it to @_promote since that's arguably a better name (@abarnet proposed promote).

PEP 484 discussion: python/typing#48

Metadata

Metadata

Assignees

No one assigned

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions