QVT12 — Imprecise result types of resolveIn expressions

Section 8.2.1.22 ResolveExp states the following about the result type of a resolve expression:

"If no target variable is provided, the type is either Object (the type representing all types, see Section 8.3.1) either a Sequence of Objects - depending on the multiplicity."

On top of that, Section 8.2.1.23 ResolveInExp states:

"The type of a ResolveInExp expression is computed using the same rules as for the type of a ResolveExp."

In case of a ResolveInExp, why can't we obtain the result type from the respective mapping?

Consider the following example

mapping EClass :: EClass2EPackage() : EPackage

The result of any resolveIn expression for that mapping is necessarily a subtype of EPackage. No need to cast this up to Object.

OclAny rather Object is of course the top type