{"ast_node_type":"other","tokens":[{"end":31,"kind":"keyword","start":0,"text":"//"}]}
        // bounds in the input.
        // order but should be in the same order for the same set but possibly different order of
        // INVARIANT: If this function returns `DynTy`, there should be at least one trait bound.