Stream: t-compiler/major changes

Topic: move leak-check to during coherence, candi compiler-team#295


triagebot (May 24 2020 at 14:16, on Zulip):

@T-compiler: Proposal #295 has been seconded, and will be approved in 10 days if no objections are raised.

Last update: May 07 2021 at 07:30UTC