fix(es/flow): avoid restoring module context when flow syntax is enabled (#11819)

**Related issue:**

- #11808
- #11817

Author: magic-akari

crates/swc_ecma_transforms_typescript/src/typescript.rs

@@ -8,7 +8,7 @@ use swc_ecma_transforms_react::{parse_expr_for_jsx, JsxDirectives};
 use swc_ecma_visit::{visit_mut_pass, VisitMut, VisitMutWith};
 
 pub use crate::config::*;
-use crate::{retain::IsConcrete, semantic::analyze_program, transform::transform};
+use crate::{semantic::analyze_program, transform::transform};
 
 macro_rules! static_str {
     ($s:expr) => {
@@ -41,7 +41,12 @@ pub(crate) struct TypeScript {
 
 impl Pass for TypeScript {
     fn process(&mut self, n: &mut Program) {
-        let was_module = n.as_module().and_then(|m| self.get_last_module_span(m));
+        let last_module_span = n
+            .as_module()
+            // Flow does not need to restore module context
+            .filter(|_| !self.config.flow_syntax)
+            .and_then(|m| self.get_last_module_span(m));
+
         let semantic = analyze_program(
             n,
             self.unresolved_mark,
@@ -61,7 +66,7 @@ impl Pass for TypeScript {
             self.config.flow_syntax,
         ));
 
-        if let Some(span) = was_module {
+        if let Some(span) = last_module_span {
             let module = n.as_mut_module().unwrap();
             Self::restore_esm_ctx(module, span);
         }
@@ -77,14 +82,7 @@ impl TypeScript {
         n.body
             .iter()
             .rev()
-            .find(|module_item| {
-                module_item.as_module_decl().is_some_and(|module_decl| {
-                    match self.config.flow_syntax {
-                        true => module_decl.is_runtime_esm_decl(),
-                        false => module_decl.is_es_module_decl(),
-                    }
-                })
-            })
+            .find(|m| m.is_es_module_decl())
             .map(Spanned::span)
     }
 
@@ -105,7 +103,6 @@ impl TypeScript {
 
 trait EsModuleDecl {
     fn is_es_module_decl(&self) -> bool;
-    fn is_runtime_esm_decl(&self) -> bool;
 }
 
 impl EsModuleDecl for ModuleDecl {
@@ -127,22 +124,13 @@ impl EsModuleDecl for ModuleDecl {
             _ => panic!("unable to access unknown nodes"),
         }
     }
-
-    fn is_runtime_esm_decl(&self) -> bool {
-        self.is_es_module_decl() && self.is_concrete()
-    }
 }
 
 impl EsModuleDecl for ModuleItem {
     fn is_es_module_decl(&self) -> bool {
         self.as_module_decl()
             .is_some_and(ModuleDecl::is_es_module_decl)
     }
-
-    fn is_runtime_esm_decl(&self) -> bool {
-        self.as_module_decl()
-            .is_some_and(ModuleDecl::is_runtime_esm_decl)
-    }
 }
 
 pub fn tsx<C>(