{"ast_node_type":"other","tokens":[{"end":97,"kind":"keyword","start":0,"text":"//"}]}
        // INVARIANT: If this function returns `DynTy`, there should be at least one trait bound.
        // bounds in the input.
        // These invariants are utilized by `TyExt::dyn_trait()` and chalk.