so probably for folk that want to type check, it would be:
```
class Foo(data.Struct):
     valid: Annotated[Wire, unsigned(1)