On 3/18/2019 6:59 PM, Mike Franklin wrote: > I found > that the even when explicitly marking something with `scope`, the compiler > removed it due to the inference rules. That was alarming to me. I don't know of a case where it does that. It would be a bug.