So i have the following code:
struct my_struct_t var1; fun(var1);
I don't have the symbols for fun's parameter type but since it's called with an argument with type my_struct i would want IDA to infer that type. I know it's not always that straight forward, (e.g. multiple callers each calling with different arguments) but it sounds like a basic feature to propagate that kind of type information and maybe give the choice to the user to select the type when there are multiple options.