The annotation would point out pattern parameters. In patterns, boundies are the only real (not compile-time-constant) expressions allowed in patterns. (Regardless of how they are implemented, be it evaluated "real expressions", or some special "deref".)