{"ast_node_type":"other","tokens":[{"end":97,"kind":"keyword","start":0,"text":"//"}]}
                        // instead create a new inference variable `?normalized_source`, emitting
                        // FIXME: This does not handle subtyping correctly, we could
                        // `Projection(normalized_source, ?ty_normalized)` and