pedant-core 0.20.1

Analysis engine for pedant: IR extraction, style checks, and capability detection
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92

//! Second-pass enrichment of syntactic facts with resolved type information.
//!
//! The syntactic extractor can only see what a type annotation spells; this
//! pass asks rust-analyzer what it resolves to, which is what the alias,
//! dispatch, and `Copy`-receiver checks actually need.

use crate::ir::facts::{BindingFact, FileIr, MethodCallFact};
use crate::ir::semantic::SemanticContext;

/// Enrich IR facts with resolved type information from semantic analysis.
///
/// Calls `analyze_file` once to get the cached `SemanticFileAnalysis`, then
/// reads data flows (shared via `Arc`) and resolved types (from the eagerly
/// populated cache) without reparsing the file.
pub(super) fn enrich_ir(ir: &mut FileIr, ctx: &SemanticContext) {
    let file_path: &str = &ir.file_path;

    let Some(analysis) = ctx.analyze_file(file_path) else {
        enrich_method_calls(&mut ir.method_calls, &ir.bindings);
        return;
    };

    // Share data flows via Arc — no deep copy.
    ir.data_flows = std::sync::Arc::clone(analysis.data_flows());

    // Resolve binding types from the cached analysis.
    for i in 0..ir.bindings.len() {
        let Some(span) = ir.bindings[i].type_annotation_span else {
            continue;
        };
        let Some(resolved_type) = analysis.resolve_type(span.line, span.column) else {
            continue;
        };
        let owned: Box<str> = Box::from(resolved_type);
        if owned.contains("Arc<") || owned.contains("Rc<") {
            ir.bindings[i].is_refcounted = true;
        }
        ir.bindings[i].resolved_type = Some(owned);
    }

    // Resolve type ref classification flags from the cached analysis.
    for tr in ir.type_refs.iter_mut() {
        let Some(resolved_type) = analysis.resolve_type(tr.span.line, tr.span.column) else {
            continue;
        };
        if resolved_type.contains("dyn ") {
            tr.involves_dyn = true;
        }
        if resolved_type.contains("HashMap") && !resolved_type.contains("BuildHasher") {
            tr.is_default_hasher = true;
        }
        if resolved_type.contains("Vec")
            && resolved_type.contains("Box")
            && resolved_type.contains("dyn ")
        {
            tr.is_vec_box_dyn = true;
        }
    }

    enrich_method_calls(&mut ir.method_calls, &ir.bindings);
}

/// Resolve method call receiver types using enriched binding data.
///
/// Looks up the receiver identifier's resolved type from the binding facts
/// (already enriched by `enrich_ir`). Multiple calls on the same binding
/// share a single `Arc<str>` allocation for the resolved type.
fn enrich_method_calls(method_calls: &mut [MethodCallFact], bindings: &[BindingFact]) {
    use std::collections::BTreeMap;
    use std::sync::Arc;

    let mut binding_types: BTreeMap<(Option<usize>, &str), Arc<str>> = BTreeMap::new();
    for b in bindings {
        let Some(resolved) = b.resolved_type.as_deref() else {
            continue;
        };
        binding_types
            .entry((b.containing_fn, &b.name))
            .or_insert_with(|| Arc::from(resolved));
    }

    for mc in method_calls.iter_mut() {
        let Some(recv_ident) = mc.receiver_ident.as_deref() else {
            continue;
        };
        let Some(resolved) = binding_types.get(&(mc.containing_fn, recv_ident)) else {
            continue;
        };
        mc.is_copy_receiver = SemanticContext::is_copy(resolved);
        mc.receiver_type = Some(Arc::clone(resolved));
    }
}