pub fn infer_function_variable_types(
prog: &HirProgram,
) -> HashMap<String, HashMap<VarId, Type>>Expand description
Infer variable types inside each function by performing a flow-sensitive analysis and returning the joined environment (types per VarId) at function exits and fallthrough.