9e3517f8f3
9975: minor: Fix panic caused by #9966 r=flodiebold a=flodiebold Chalk can introduce new type variables when doing lazy normalization, so we have to do the proper 'fudging' after all. Co-authored-by: Florian Diebold <flodiebold@gmail.com>