type inference and "any" types are completely different. e.g. in C++, auto var = 123; is inference, but std::any var2 = 123; is dynamic typing, bec

type inference and "any" types are completely different. e.g. in C++, auto var = 123; is inference, but std::any var2 = 123; is dynamic typing, because you can do `var2 = "foo bar";` unlike the first case.