{"ast_node_type":"other","tokens":[{"end":27,"kind":"keyword","start":0,"text":".iter(Interner)"}]}
            .iter(Interner)
        let it = subst
            .map(|it| it.constant(Interner).map(|c| c.data(Interner).ty.clone()));