pub fn infer_root( e: ExprNodeId, builtin_types: &[(Symbol, TypeNodeId)], file_path: Symbol, ) -> InferContext