{"ast_node_type":"other","tokens":[{"end":44,"kind":"keyword","start":0,"text":"ty:"}]}
                ty: &chalk_ir::Ty<Interner>,
                &mut self,
                outer_binder: DebruijnIndex,