When omitting the last rule, the alternative would be that `validationAppliesTo` has always to be specified when declaring a generic and cross-parameter constraint on a non-void executable with parameters, right? I think I could live with that as well, in particular since providers might offer a way to relax that rule and do the advanced inference.

I think `IMPLICIT` would still be useful for void methods or methods with return value but not parameters.