pub fn resolve_to_existing_module(
types: &ResolvedProgramTypes,
state: &mut ResolvedProgramState,
modules: &mut ResolvedModules,
resolved_module: Rc<RefCell<ResolvedModule>>,
ast_module: &ParseModule,
) -> Result<(), ResolveError>