{"ast_node_type":"other","tokens":[{"end":68,"kind":"keyword","start":0,"text":"///"}]}
/// inference variable). Another reason is that these type tests can
/// type test like `<Foo as Trait<'?0>>::Bar: 'x`, where `'?0` is an
/// involve *disjunction* -- that is, they can be satisfied in more