Paste: sample code using the permissive record constructor

record Foo {
    a : Int8;
    b : UInt32;
    c : Pointer[Int];
    d : Pointer[Int8];
}

overload PermissiveRecordConstructor?(static Foo) = true;

main() {
    var f = Foo(1, 2, 0, "hello");
    println(f);
}