Function examples_cover_core_features

tests/integration/spec_rules.rs:343–383

()

// each needle below is a representative token some example must demonstrate.
#[test]
fn examples_cover_core_features() {
    use full_stack::program_catalog::{ProgramCatalog, ProgramKind};
    let catalog = ProgramCatalog::default();
    let combined = catalog
        .get_programs_by_kind(ProgramKind::Example)
        .iter()
        .map(|p| p.source.as_str())
        .collect::<Vec<_>>()
        .join("\n");

    let needles = [
        (":=", "inferred declaration"),
        ("const ", "compile-time constant"),
        (" as ", "cast"),
        ("+=", "compound assignment"),
        ("@", "whole-pointee dereference"),
        ("&", "address-of"),
        ("new(", "heap allocation"),
        ("defer ", "deferred cleanup"),
        ("struct ", "struct declaration"),
        (".len", "slice length"),
        ("[..]", "array-to-slice coercion"),
        ("..=", "inclusive range"),
        ("for ", "for loop"),
        ("enum ", "enum declaration"),
        ("match ", "match expression"),
        ("Option", "Option carrier"),
        ("Result", "Result carrier"),
        ("?", "try propagation"),
        ("<i32>", "generic specialization"),
        ("(i32, i32) -> i32", "function pointer type"),
        ("'A'", "character literal"),
    ];

    for (needle, feature) in needles {
        assert!(
            combined.contains(needle),
            "no launchable example demonstrates {feature} (missing token `{needle}`)"
        );
    }
}

#[test]
fn allows_newline_separated_struct_fields() {