Demonstrates how the `required` property of an in port is implicitly set to `true` when it used with WirePattern.