An under-development compiler feature would behave more predictably if we could be sure that signatures never contain wildcards (underscores, standing for unknown types). I don't think I've ever used a wildcard in a signature. Would anyone object to making wildcards in signatures a compile-time error?