Member predicate Parameter::isEffectivelyFinal

Holds if the parameter is never assigned a value in the body of the callable.