There is still quite a bit of work to do on the type checker side (cmd/compile/internal/types2) and possibly the compiler back-end side related to the generics release. A freeze scheduled for Nov 1. 2021 will require us to drop some essential work that needs to be done for generics.
I like to request a freeze exception of two weeks for generics-related work in the compiler, for a freeze on Monday Nov. 15, 2021.
This should include work on the type-checkers (incl. import/export data readers/writers), and possibly the compiler back-end. Please note that we are maintaining two type-checkers in lock-step, cmd/compile/internal/types2 and go/types. Type-checking work may happen in any of those and then is ported essentially 1:1 (but for adjustments due to different AST representations and error handling).
Thank you for letting us know. We have discussed this on the team and agreed that this exception is okay to make for 1.18, especially since this is a part of overall generics work that is in scope of 1.18.
Freeze exception approved.
(I'll close this since I understand the mentioned work is already tracked in other issues; otherwise, feel free to keep this open if it's helpful.)