One more thought on where it might get more comple...

# announcements

[uli]

One more thought on where it might get more complex. It is probably harder to decide what to do when overriding a method and providing a default parameter expression which is a subtype of the original parameter.