{"ast_node_type":"variable","tokens":[{"end":45,"kind":"keyword","start":0,"text":"let"}]}
        let a = self.normalize(a, locations);
        // higher-ranked aliases if normalization was ambiguous due to inference.
        let ty = self.normalize(curr_projected_ty.ty, locations);