tsz-solver 0.1.8

TypeScript type solver for the tsz compiler
Documentation 
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

use super::*;
use crate::TypeInterner;
use crate::subtype::NoopResolver;

#[test]
fn test_non_application_passthrough() {
    let interner = TypeInterner::new();
    let string_type = interner.intern(TypeData::Intrinsic(IntrinsicKind::String));

    let evaluator = ApplicationEvaluator::new(&interner, &NoopResolver);
    let result = evaluator.evaluate(string_type);

    assert!(matches!(result, ApplicationResult::NotApplication(_)));
}

#[test]
fn test_primitives_are_not_applications() {
    let interner = TypeInterner::new();
    let evaluator = ApplicationEvaluator::new(&interner, &NoopResolver);

    // Primitives should pass through as NotApplication
    assert!(matches!(
        evaluator.evaluate(TypeId::ANY),
        ApplicationResult::NotApplication(_)
    ));
    assert!(matches!(
        evaluator.evaluate(TypeId::NEVER),
        ApplicationResult::NotApplication(_)
    ));
    assert!(matches!(
        evaluator.evaluate(TypeId::STRING),
        ApplicationResult::NotApplication(_)
    ));
}