{"ast_node_type":"variable","tokens":[{"end":93,"kind":"keyword","start":0,"text":"if"}]}
                        if let Ok(Some(candidate)) = self.select_trait_candidate(trait_ref) {
                        result = ProbeResult::NoMatch;
                            for nested_obligation in candidate.nested_obligations() {