{"ast_node_type":"other","tokens":[{"end":49,"kind":"keyword","start":0,"text":"}"}]}
                } else if candidates.is_empty() {
                    candidates.retain(|c| matches!(c.source, CandidateSource::ParamEnv(_)));
                    // If the trait goal has been proven by using the environment, we want to treat