expander expands builtin Intl types to any

[togami2864]

Builtin Intl doesn't register as a built-in type properly.

Reproduction

Run

new Intl.Locale(); 

Then you can see the log like this though the type BCP47LanguageTag is string.

  DEBUG Analyzer.find_type('BCP47LanguageTag#0')
    at crates/stc_ts_file_analyzer/src/analyzer/scope/mod.rs:1831
    in Scope::find_type with name: BCP47LanguageTag#0
    in find_local_type
    in find_type with name: BCP47LanguageTag#0
    in Expander.expand_ref
    in Expander.expand_type
    in expand
    in normalize with ty: BCP47LanguageTag;
    in normalize with ty: BCP47LanguageTag;
    in normalize with ty: (BCP47LanguageTag | Locale);
    in assign with lhs: "(BCP47LanguageTag | Locale);", rhs: "void;"
    in check_call_args
    in select_and_invoke
    in call_property
    in extract_call_new_expr_member
    in Stmt with line_col: "(1:1-1:19)"

  DEBUG Analyzer.find_type('BCP47LanguageTag#0')
    at crates/stc_ts_file_analyzer/src/analyzer/scope/mod.rs:1831
    in Scope::find_type with name: BCP47LanguageTag#0
    in Scope::find_type with name: BCP47LanguageTag#0
    in find_local_type
    in find_type with name: BCP47LanguageTag#0
    in Expander.expand_ref
    in Expander.expand_type
    in expand
    in normalize with ty: BCP47LanguageTag;
    in normalize with ty: BCP47LanguageTag;
    in normalize with ty: (BCP47LanguageTag | Locale);
    in assign with lhs: "(BCP47LanguageTag | Locale);", rhs: "void;"
    in check_call_args
    in select_and_invoke
    in call_property
    in extract_call_new_expr_member
    in Stmt with line_col: "(1:1-1:19)"

  DEBUG Scope.find_type: failed to find type 'BCP47LanguageTag#0'
    at crates/stc_ts_file_analyzer/src/analyzer/scope/mod.rs:1205
    in find_local_type
    in find_type with name: BCP47LanguageTag#0
    in Expander.expand_ref
    in Expander.expand_type
    in expand
    in normalize with ty: BCP47LanguageTag;
    in normalize with ty: BCP47LanguageTag;
    in normalize with ty: (BCP47LanguageTag | Locale);
    in assign with lhs: "(BCP47LanguageTag | Locale);", rhs: "void;"
    in check_call_args
    in select_and_invoke
    in call_property
    in extract_call_new_expr_member
    in Stmt with line_col: "(1:1-1:19)"

  ERROR (1) Failed to find type: BCP47LanguageTag#0
    at crates/stc_ts_file_analyzer/src/analyzer/scope/mod.rs:2174
    in Expander.expand_ref
    in Expander.expand_type
    in expand
    in normalize with ty: BCP47LanguageTag;
    in normalize with ty: BCP47LanguageTag;
    in normalize with ty: (BCP47LanguageTag | Locale);
    in assign with lhs: "(BCP47LanguageTag | Locale);", rhs: "void;"
    in check_call_args
    in select_and_invoke
    in call_property
    in extract_call_new_expr_member
    in Stmt with line_col: "(1:1-1:19)"

  DEBUG [expander (time = 737.708µs)]: BCP47LanguageTag; => any;
    at crates/stc_ts_file_analyzer/src/analyzer/scope/mod.rs:2631
    in expand
    in normalize with ty: BCP47LanguageTag;
    in normalize with ty: BCP47LanguageTag;
    in normalize with ty: (BCP47LanguageTag | Locale);
    in assign with lhs: "(BCP47LanguageTag | Locale);", rhs: "void;"
    in check_call_args
    in select_and_invoke
    in call_property
    in extract_call_new_expr_member
    in Stmt with line_col: "(1:1-1:19)"

  DEBUG [expander] expand: BCP47LanguageTag; => any;
    at crates/stc_ts_file_analyzer/src/analyzer/scope/mod.rs:738
    in expand
    in normalize with ty: BCP47LanguageTag;
    in normalize with ty: BCP47LanguageTag;
    in normalize with ty: (BCP47LanguageTag | Locale);
    in assign with lhs: "(BCP47LanguageTag | Locale);", rhs: "void;"
    in check_call_args
    in select_and_invoke
    in call_property
    in extract_call_new_expr_member
    in Stmt with line_col: "(1:1-1:19)"

stc/crates/stc_ts_builtin_types/lib/es2020.intl.d.ts

Line 79 in 08289e7

type BCP47LanguageTag = string;

I guess it is due to the fact that builtin Intl is the only builtin type declared in namespace.

stc/crates/stc_ts_builtin_types/lib/es2020.intl.d.ts

Line 2 in 08289e7

declare namespace Intl {

[kdy1]

Did you try using dbg!? There's a footgun in dump_type_as_string....

stc/crates/stc_ts_errors/src/debug/mod.rs

Line 286 in 23dcade

Type::Module(m) => Type::any(m.span, Default::default()),

[kdy1]

I filed #650 because I think it's a footgun

[togami2864]

Are you talking about logs? The actual type was also analyzed as any.

[kdy1]

I see, thank you for the investigation