{"ast_node_type":"other","tokens":[{"end":31,"kind":"keyword","start":0,"text":"obligations.extend("}]}
            obligations.extend(
            // the generic args of the opaque with the generic params of its hidden type version.
                self.at(cause, param_env)