{"ast_node_type":"other","tokens":[{"end":56,"kind":"keyword","start":0,"text":"db:"}]}
                            db: chalk_ir::DebruijnIndex,
                            t: &Ty,
                        ) -> ControlFlow<()> {