{"ast_node_type":"other","tokens":[{"end":75,"kind":"keyword","start":0,"text":"///"}]}
/// inference variables. The can lead to inference making "leaps of logic",
/// In fact, we even select the where-clause when the obligation contains
/// for example in this situation: