{"ast_node_type":"other","tokens":[{"end":78,"kind":"keyword","start":0,"text":"//"}]}
                        // `Projection(normalized_source, ?ty_normalized)` and
                        // instead create a new inference variable `?normalized_source`, emitting
                        // `?normalized_source <: generalized_ty`.