don't normalize in astconv don't normalize in astconv We delay projection normalization to further stages in order to ...user type annotations before normalization in HIR typeck. The former already expects unnormalized types from astconv, see its Unfortunately astconv still needs the normalization machinery in This is why `AstConv::normalize_ty_2` is necessary.