{"ast_node_type":"other","tokens":[{"end":90,"kind":"keyword","start":0,"text":"input_tys.iter(Interner).map(|t|"}]}
            input_tys.iter(Interner).map(|t| t.cast(Interner)).chain(Some(GenericArg::new(
            Interner,
                Interner,