{"ast_node_type":"other","tokens":[{"end":64,"kind":"keyword","start":0,"text":"///"}]}
/// For selection to succeed, there must be exactly one matching
///
/// candidate. If the obligation is fully known, this is guaranteed