{"ast_node_type":"other","tokens":[{"end":79,"kind":"keyword","start":0,"text":"//"}]}
                        // The order here needs to match what we would get from
                    ty::ClauseKind::Trait(data) => {
                        // `rustc_middle::ty::predicate::Clause::instantiate_supertrait`