{"ast_node_type":"other","tokens":[{"end":76,"kind":"keyword","start":0,"text":"//"}]}
            // NOTE: These obligations are 100% redundant and are implied by
        let ty = if !ty.has_escaping_bound_vars() {
            // WF obligations that are registered elsewhere, but they have a