{"ast_node_type":"other","tokens":[{"end":55,"kind":"keyword","start":0,"text":"ty::Bound(db,"}]}
            ty::Bound(db, bt) if *db >= self.depth => {
            }
                self.vars.insert(match bt.kind {