=== on 31 Oct 2018, 09:34:36 Nicolas Peru wrote:
Title of the rule is dodgy : there is no wildcard at all in this example. 

"upper bound of type variables" would be more correct.