pub fn resolve_to_new_module(
types: &ResolvedProgramTypes,
state: &mut ResolvedProgramState,
modules: &mut ResolvedModules,
module_path: &[String],
source_map: &SourceMap,
ast_module: &ParseModule,
) -> Result<(), ResolveError>