{"ast_node_type":"other","tokens":[{"end":69,"kind":"keyword","start":0,"text":"///"}]}
/// different "leaps of logic" would occur if inference variables are
/// for the same obligation. In that case either would do (except that
/// present), and we just pick the where-clause. This is, for example,