Currently at the moment of creation of DictKeyWithLabelExpressionTypingInfo the TypingResult is passed down. It might happen that TypingResult was evaluated at the early stage of deployment and it could be enhanced thanks to the information about passed value. I propose to check whether passed expectedType is instance of TypedClass (which is unaware of value) and in such a case lift it to TypedObjectWithValue.
💥 Proposal
Currently at the moment of creation of
DictKeyWithLabelExpressionTypingInfotheTypingResultis passed down. It might happen thatTypingResultwas evaluated at the early stage of deployment and it could be enhanced thanks to the information about passed value. I propose to check whether passedexpectedTypeis instance ofTypedClass(which is unaware of value) and in such a case lift it toTypedObjectWithValue.