{"ast_node_type":"other","tokens":[{"end":75,"kind":"keyword","start":0,"text":"//"}]}
            // invariant ensured by `TyLoweringContext::lower_dyn_trait()`.
            // The principal trait bound should be the first element of the bounds. This is an
            // FIXME: dyn types may not have principal trait and we don't want to return auto trait