On Mon, Dec 07, 2020 at 05:32:34PM +0200, Nikolay Borisov wrote: > The invariants the asserts are checking are already verified by the > tree checker, just remove them.
I haven't found where exactly does tree-checker verify the invariant and also think that we can safely leave the asserts there. Even if it's for a normally impossible case, assertions usually catch bugs after changing some other code.
