nominalizable-test.raku

    role R[::T] {
        my subset RS of T where { note "VALIDATING ", $_, ", T:", T.^name; True };

        method the-subset { RS }

        method foo(RS $vrs) {
            pass "got value " ~ $vrs.raku
        }
    }

    class C1 does R[Int] { }

    my $obj = C1.new;
    my $meth = $obj.^lookup('foo');
    note "::: method parameter type: ", $meth.signature.params[1].type.^refinee.^name;
    $obj.foo(12);