pure2-lifetime-safety-reject-null-error.cpp2

#include <iostream>
#include <vector>
#include <string>

main: () -> int
= {
    words: std::vector<std::string> = ( "decorated", "hello", "world" );

    p: *int = nullptr;

    // ... more code ...

    print_and_decorate( p* );
}

print_and_decorate: (thing:_) =
    std::cout << ">> " << thing << "\n";