Tests XS0043 is raised because @port is not allowed on p:with-input.
Test ab-with-input-070.xml is expected to fail with error code err:XS0043
.
<p:declare-step xmlns:err="http://www.w3.org/ns/xproc-error" xmlns:p="http://www.w3.org/ns/xproc" version="3.0">
<p:output port="result"/>
<p:choose>
<p:when test="true()">
<p:with-input port="source">
<doc/>
</p:with-input>
<p:identity/>
</p:when>
</p:choose>
</p:declare-step>
Replace <true/>
with <p:identity/>
.
Test anonymous input ports etc. are treated right.