That's a textbook definition of "implicit", as in not directly specified, but assumed. The fact that unacceptable parameter would fail compile time validation

That's a textbook definition of "implicit", as in not directly specified, but assumed. The fact that unacceptable parameter would fail compile time validation does not make it any more readable.