analyzer.language replacement for analyzer.strong-mode.implicit-dynamic

[DetachHead]

the strict-inference and strict-raw-types rules don't replace strong-mode.implicit-dynamic as they don't complain about implicit dynamics in function arguments:

void foo(a) {}

when implicit-dynamic is enabled:

error • lib\a\a.dart:1:10 • Missing parameter type for 'a'. Try adding an explicit type, or remove implicit-dynamic from your analysis options file. • implicit_dynamic_parameter

see #48650 (comment)

[bwilkerson]

@srawlins

[parlough]

It seems that it will work if you reference the parameter in the body, but the spec for the mode explicitly excludes parameters not referenced. @srawlins can perhaps provide more context around that decision.

A parameter of a non-abstract function, which is declared without a type, and which is not referenced from inside the function body does not contain an inference failure.

[srawlins]

I think it's not an inference failure because there is no situation in which the parameter type is inferred. It just doesn't enter the equation. I definitely understand that it seems like if var foo; is reported, then so should void f(foo) {}.

Not sure if there is a lint rule which guards against untyped parameters, but type_annotate_public_apis gets you part way.

[DetachHead]

ah i see, thanks! as long as the warning shows up when it's used i'm happy with that