Indeed, simply declaring the type of a parameter is not a reference. However, passing a
class as an argument to a method call is.
One problem with this approach is that
#declaredType property is often overlooked in dependency analysis (especially since in
Smalltalk models this prop is rarely used or even set). I don't know what could be the
impact of collecting #declaredType with the other dependencies.
---> This is actually a problem in MooseChef and could be largely discussed.
That is a good point.
I have the impression that it would be good to have the option to declare declaredType as
reference. Because it would make analyses based on reference sronger and more useful.
I think that we historically did not do it because we do not have that in Smalltalk.
Stef