mathiasbn
smart cast to AClass is impossible, because propertyOfTypeAClass is a public API property declared in a different module
AClass
propertyOfTypeAClass