I'm enumerating here a bunch of things that this might be good for. These fall roughly under two categories -- metaclasses (or more generally runtime configuration of classes) and callables with atypical signatures.

Metaclasses:

SQLAlchemy
Django models
(and ORMs in general)

Functions with special signatures (some of these are of marginal utility):

open() (and similar functions elsewhere; return type depends on mode string argument)
re.findall (return type depends on structure of a regular expression)
sys.exc_info (return value has no None items within except: block)
universal_newlines in subprocess (boolean toggles between str / bytes)
str.format and '...' % x (the latter is currently special cased in the type checker)
dict(key=value) and dict.update with keyword arguments (the prior is currently special cased)
sum (works for anything that supports +)
Parts of itertools and functools
struct (could infer type from format string)
SQLAlchemy queries

For some of these I can also imagine more general type system support instead of a plugin.

Uh oh!

Design and build a plugin architecture #1240

Description

Metadata

Metadata

Assignees

Labels

Projects

Milestone

Relationships

Development

Issue actions