Interesting that today I ran into a situation where the compiler gave me a correct explanation in such a similar case “Smart cast to ‘OperationResultDto’ is impossible, because ‘response.result’ is a public API property declared in different module” 
Interesting that today I ran into a situation where the compiler gave me a correct explanation in such a similar case “Smart cast to ‘OperationResultDto’ is impossible, because ‘response.result’ is a public API property declared in different module”