Introduce rules to say that missing formal parameter type means dynamic#2163

Open

eernstg wants to merge 2 commits intomainfrom specify_dynamic_parameter_type_mar22

+68-43

Commits on Mar 22, 2022

Introduced rules to say that a missing formal parameter type means dynamic, or inferred
eernstg
committed

Commits on Mar 23, 2022

Now mentions inference of parameter type for initializing formal
eernstg
committed