{"ast_node_type":"other","tokens":[{"end":12,"kind":"keyword","start":0,"text":"})"}]}
        }) {
            if ocx.select_all_or_error().is_empty() { Ok(()) } else { Err(NoSolution) }
            wfcx.register_obligations(autoderef.into_obligations());