disallow_creating_indexed_type_for_type_params

Author: kdy1

crates/stc_ts_file_analyzer/src/analyzer/assign/function.rs

@@ -864,6 +864,7 @@ impl Analyzer<'_, '_> {
                                     disallow_indexing_class_with_computed: true,
                                     disallow_inexact: true,
                                     use_last_element_for_tuple_on_out_of_bound: true,
+                                    disallow_creating_indexed_type_for_type_params: true,
                                     ..Default::default()
                                 },
                             )
@@ -903,6 +904,7 @@ impl Analyzer<'_, '_> {
                                     disallow_indexing_class_with_computed: true,
                                     disallow_inexact: true,
                                     use_last_element_for_tuple_on_out_of_bound: true,
+                                    disallow_creating_indexed_type_for_type_params: true,
                                     ..Default::default()
                                 },
                             )

crates/stc_ts_file_analyzer/src/analyzer/expr/mod.rs

@@ -656,6 +656,7 @@ pub(crate) struct AccessPropertyOpts {
     ///  obj11.foo; // Error TS2339
     /// ```
     pub disallow_creating_indexed_type_from_ty_els: bool,
+    pub disallow_creating_indexed_type_for_type_params: bool,
 
     pub disallow_indexing_class_with_computed: bool,
 
@@ -2187,6 +2188,15 @@ impl Analyzer<'_, '_> {
                     }
                 }
 
+                if opts.disallow_creating_indexed_type_for_type_params {
+                    return Err(ErrorKind::NoSuchProperty {
+                        span,
+                        obj: Some(Box::new(obj.clone())),
+                        prop: Some(Box::new(prop.clone())),
+                    }
+                    .context("disallow_creating_indexed_type_for_type_params = true"));
+                }
+
                 let mut prop_ty = match prop {
                     Key::Computed(key) => key.ty.clone(),
                     Key::Normal { span, sym } => Box::new(Type::Lit(LitType {