vize_l2 0.549.0

L2 - the Davinci semantic IR (codename Disegno): the neutral op family every input dialect lowers into
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
35
36
37
38
39
40
41
42
43
44
45
46
47
48

//! Original field types/order, independent of the new enum's unit variants.
use vize_l0::{Span, String};
use vize_l2::{
    file::{Declaration, DeclarationKind, InitializerKind, Namespace, ScopeId, ScriptUnitId},
    resolution::BindingId,
};

#[allow(dead_code)]
enum OriginalInitializerKind {
    PrimitiveLiteral,
    Function,
    Unknown,
}

#[allow(dead_code)]
struct OriginalDeclarationLayout {
    id: BindingId,
    unit: ScriptUnitId,
    scope: ScopeId,
    name: String,
    span: Span,
    namespace: Namespace,
    kind: DeclarationKind,
    initializer: OriginalInitializerKind,
    import_source: Option<String>,
    imported_name: Option<String>,
    direct_program: bool,
}

#[test]
fn refined_unit_variants_keep_the_original_enum_and_declaration_size_alignment() {
    assert_eq!(
        core::mem::size_of::<InitializerKind>(),
        core::mem::size_of::<OriginalInitializerKind>()
    );
    assert_eq!(
        core::mem::align_of::<InitializerKind>(),
        core::mem::align_of::<OriginalInitializerKind>()
    );
    assert_eq!(
        core::mem::size_of::<Declaration>(),
        core::mem::size_of::<OriginalDeclarationLayout>()
    );
    assert_eq!(
        core::mem::align_of::<Declaration>(),
        core::mem::align_of::<OriginalDeclarationLayout>()
    );
}