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