Function get_implementation

server/src/server/routes.rs:446–466

(
    State(state): State<AppState>,
    headers: HeaderMap,
    Query(params): Query<ImplementationQuery>,
)

}

async fn get_implementation(
    State(state): State<AppState>,
    headers: HeaderMap,
    Query(params): Query<ImplementationQuery>,
) -> Result<Json<Value>, AppError> {
    let project = require_project(&state, &headers)?;
    let source = symbol_ops::get_implementation(
        &project.root,
        &project.symbol_table,
        &params.symbol,
        &params.file,
    )
    .map_err(AppError::NotFound)?;
    let preview = format!("{}::{} ({} bytes)", params.file, params.symbol, source.len());
    record_history(&state, session_id(&headers).as_deref(), "GET", "/symbols/implementation", &preview);
    Ok(Json(json!({
        "symbol": params.symbol,
        "file": params.file,
        "source": source,
    })))
}

#[derive(Deserialize)]
struct TestsQuery {