pure2-bugfix-for-bad-parameter.cpp2

print: <T: type> (inout out: std::ostream=args: T) requires true = {}