Test anonymous input ports etc. are treated right.
Tests XS0043 is raised because @port is not allowed on p:with-input.