{"ast_node_type":"other","tokens":[{"end":82,"kind":"keyword","start":0,"text":"&&"}]}
            && matches!(path[best_choice].category, ConstraintCategory::Return(_))
        let best_constraint = if let Some(next) = path.get(best_choice + 1)
            && next.category == ConstraintCategory::OpaqueType