{"ast_node_type":"impl","tokens":[{"end":68,"kind":"keyword","start":0,"text":"///"}]}
/// will always be satisfied) picking the blanket impl will be wrong
/// with variables from blanket impls, and (unless we know its bounds
/// for at least *some* generic parameters. To make this concrete, if