Maybe not in the general case, but practically speaking, static analysis can infer the types of probably most completion you would need in day-to-day development.
This is contrary to my experience. For instance if the types of function parameters aren't specified, the IDE won't have any way of knowing what the types of those parameters are and will therefore not be helpful with completions.