Ondřej Čertík

Thanks! That would be super useful.

Let's explore how to do it via an ASR -> ASR pass. For that, the input ASR is with methods with the virtual flag. The output ASR must have explicit...

Let's write this as an ASR->ASR pass that takes the "Input" above and converts it to the "Output" above. An ASR->ASR pass will be easy to debug, we just print...

Note that `x: i32 = i64(4)` must be a compiler error, since the types do not match.

I am not sure if we need to support this use case at all, since this is a class variable. I would say in terms of priorities, this is below...

Do we want to wait with this change until we merge the simplifier pass?

Now when we have #4700, I think we'll be able to merge this soon. Here is a TODO: * Let's get the CI working at #4700 (all green) * Review...

@kmr-srbh go ahead and rebase this. Then I recommend: 1. Merge lastest main into simplifier 2. Merge this one to main 3. Immediately do the same change in the simplifier...

I think this looks good. Prepare the same PR for the simplifier branch, so that we can merge both at the same time.

What is the status of this PR to the simplifier branch? Does it work?