1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42

use rnode::{Visit, VisitWith};
use stc_ts_errors::ErrorKind;
use stc_ts_types::{Id, TypeParam};
use swc_common::Span;

use crate::analyzer::{Analyzer, ScopeKind};

impl Analyzer<'_, '_> {
    pub(crate) fn is_type_param_declared_in_containing_class(&mut self, id: &Id) -> bool {
        self.scope
            .first(|scope| {
                let parent = scope.parent();
                let parent = match parent {
                    Some(v) => v,
                    None => return false,
                };
                if scope.kind() != ScopeKind::Class {
                    return false;
                }
                dbg!(&scope.declaring_type_params);
                scope.declaring_type_params.contains(id)
            })
            .is_some()
    }
}

pub(super) struct StaticTypeParamValidator<'a, 'b, 'c> {
    pub span: Span,
    pub analyzer: &'a mut Analyzer<'b, 'c>,
}

impl Visit<TypeParam> for StaticTypeParamValidator<'_, '_, '_> {
    fn visit(&mut self, param: &TypeParam) {
        param.visit_children_with(self);

        if self.analyzer.is_type_param_declared_in_containing_class(&param.name) {
            self.analyzer
                .storage
                .report(ErrorKind::StaticMemberCannotUseTypeParamOfClass { span: self.span }.into())
        }
    }
}