test_prop_no_args.golden

******************** tasty-autocollect failure ********************
test_prop requires at least the name of the test