{"ast_node_type":"function","tokens":[{"end":41,"kind":"keyword","start":0,"text":"fn"}]}
    fn probe_and_consider_implied_clause(
    /// goal by equating it with the assumption.
        ecx: &mut EvalCtxt<'_, D>,