4.1 Explicit Parameterization
[type1,
...,typeM](expr1,
...,exprN)
, with M and N zero or greater, will only match methods named name with M explicit formal type parameters and N formal arguments. Method lookup does not depend on the constraints placed on legal instantiating types of explicit formal type parameters. For example,
method
foo[T <= integer]():void { ... }
does not override
method
foo[T <= number]():void { ... }
In fact, these two methods could not legally be defined in the same system, since they have the same name, same number of explicit type parameters, same number of arguments, and same argument specializers.
Generated with Harlequin WebMaker