Struct TypeCheckOptions

pub struct TypeCheckOptions {

    pub constant_parameters: bool,
    pub allow_elided_arguments: bool,
    pub allow_extra_arguments: bool,
    pub constant_function_declarations: bool,
    pub strict_casts: bool,
    pub debug_types: bool,
    pub allow_type_casts: bool,
    pub store_type_mappings: bool,
    pub extra_syntax: bool,
    pub parse_comments: bool,
    pub lsp_mode: bool,
    pub record_all_assignments_and_reads: bool,
    pub infer_sensible_constraints_in_for_loops: bool,
    pub evaluate_exports: bool,
    pub max_inline_count: u16,
    pub measure_time: bool,
    pub advanced_numbers: bool,
    pub debug_dts: bool,
}

Options for type checking TODO figure out compat with tsc

Fields

constant_parameters: bool

Parameters cannot be reassigned

allow_elided_arguments: bool

Missing arguments are treated as undefined (thats how JS works)

allow_extra_arguments: bool

Addition arguments are allowed

constant_function_declarations: bool

Given a function x, x = 2 is not possible

strict_casts: bool

Whether auto casts can happen. aka {} + 2 is allowed using the Object’s primitive default TODO maybe levels

debug_types: bool

Any types displayed will be in debug view

allow_type_casts: bool

Enables as casts

store_type_mappings: bool

For post type check optimisations and LSP. Stores both expressions and type annotations

extra_syntax: bool

?

parse_comments: bool

TODO WIP

lsp_mode: bool

Allows partial syntax and collects other information for using in editor

record_all_assignments_and_reads: bool

Can be used for linting

infer_sensible_constraints_in_for_loops: bool

Technically the i in for (let i = 0; i < ...) can be reassigned to any type. But this behavior isn’t great and adds work for the inference engine. So this instead picks a basic type instead. This will raise errors in valid javascript

evaluate_exports: bool

Evaluate exports to detect dead code

max_inline_count: u16

measure_time: bool

advanced_numbers: bool

Enables two things:

• range and modulo class inference
• modifications to ranges and classes based on operations

debug_dts: bool

Printing internal diagnostics in dts

Trait Implementations

impl Clone for TypeCheckOptions

fn clone(&self) -> TypeCheckOptions

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Default for TypeCheckOptions

fn default() -> Self

Returns the “default value” for a type.