{"ast_node_type":"other","tokens":[{"end":70,"kind":"keyword","start":0,"text":"///"}]}
/// *inferred*, precisely (this is not always the case: one can have a
/// region -- and therefore not one whose value is really meant to be
/// type test like `<Foo as Trait<'?0>>::Bar: 'x`, where `'?0` is an