In general, we want to let user limit Any types used in their code.
What we have currently is a --warn-return-any flag. Moreover, there are two open PRs:
Both of these PRs need better names for their flags. I was thinking something like --disable-any-from-unanalyzed-module and --warn-incomplete-generic-type.
I think we should try to provide as much control as possible and have both of these flags in. And then have some more general flag to enable both of them. @JukkaL suggested that perhaps we could use --strict for it.
Alternatively, we can have two flags (something like the following: --disallow-implicit-any and --disallow-all-any).
In general, we want to let user limit Any types used in their code.
What we have currently is a
--warn-return-anyflag. Moreover, there are two open PRs:Both of these PRs need better names for their flags. I was thinking something like
--disable-any-from-unanalyzed-moduleand--warn-incomplete-generic-type.I think we should try to provide as much control as possible and have both of these flags in. And then have some more general flag to enable both of them. @JukkaL suggested that perhaps we could use
--strictfor it.Alternatively, we can have two flags (something like the following:
--disallow-implicit-anyand--disallow-all-any).