{"ast_node_type":"other","tokens":[{"end":83,"kind":"keyword","start":0,"text":"Substitution::from_iter(Interner,"}]}
                Substitution::from_iter(Interner, [ty.clone(), TyBuilder::bool()]),
                2,
            )