{"ast_node_type":"other","tokens":[{"end":76,"kind":"keyword","start":0,"text":"//"}]}
        // Need to renormalize `a` as typecheck may have failed to normalize
        // higher-ranked aliases if normalization was ambiguous due to inference.