{"ast_node_type":"other","tokens":[{"end":64,"kind":"keyword","start":0,"text":"///"}]}
///   might refer to the trait `Foo`, and the arguments might be
///   the path; so e.g., if you have `<T as Foo>::Bar`, the `DefId`
///   `[T]`. The boolean value indicates whether to infer values