That should work fine, but in your case you have a...
# announcements
r
That should work fine, but in your case you have an unbounded type, so the compiler can't guarantee it.