{"ast_node_type":"other","tokens":[{"end":50,"kind":"keyword","start":0,"text":"if"}]}
                if debruijn >= self.binder_index {
            ty::Bound(debruijn, _) => {
                    bug!("escaping bound type during canonicalization")