Skip to content

Replace uses of type variable "value restriction" with "constraints" #17828

Open
@JukkaL

Description

@JukkaL

Documentation

@JelleZijlstra noticed that our terminology is inconsistent with how we call these at runtime (#17816 (comment)).

This refers to code like this:

def f[T: (int, float)](x: T) -> T: ...

Metadata

Metadata

Assignees

No one assigned

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions