Nadrieril
Nadrieril
The idea we had was to add a MIR statement that indicates where a given lifetime starts/ends, the benefit being that the statements can be kept across MIR phases without...
The hard parts of supporting `--mir promoted` are done, we should be able to use it by default. Once that's done we should investigate the next two MIRs (`elaborated` and...
Right now I assign each comment to the first MIR statement that has a matching span. Maybe I should choose the last one instead? I expect that being more precise...
Nevermind I can do better
What do you mean by "patterns"? Patterns of code like we match in our micro-passes, or patterns in the paths of items, or something else? And by "we", do you...
What causes the paths to change?
> My question is: why does it make sense to project field element 0 out of something that has an arrow type? Indeed that makes no sense. The truth is...
This should be fixed now, let me know if there are still issues.
What options are you passing to charon? Also could you paste the code of `more_sum_lst`? The most obvious explanation is that this code invoques platform-specific code and that the different...
Can you minimize any of that? And are you sure this isn't related to GATs?