{"ast_node_type":"other","tokens":[{"end":70,"kind":"keyword","start":0,"text":"///"}]}
/// for the same obligation. In that case either would do (except that
/// that we can have both a projection candidate and a where-clause candidate
/// different "leaps of logic" would occur if inference variables are