According to the patch notes, and mentioned in #345, ? should be usable as a placeholder within type patterns for view rules. From the linked issue it looks like this should also work without surrounding triangle brackets.

I am not able to get this to work for to match `[]program::Type`, which is roughly equivalent to std::slice<program::Type> in cpp.
What i've tried:

• []?
• `[]?`
• []program::?
• `[]program::?`

none of which appear to match.

Note that using `[]program::Type` as the pattern does match properly, and works as expected, its just the generic version that fails to match such types.

I am using alpha 19