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
//! # `MethodSpec` Owned Implementation
//!
//! This module provides the owned variant of `MethodSpec` table entries with resolved
//! references and owned data structures for efficient runtime access.
use crate;
/// Owned representation of a `MethodSpec` table entry with resolved references.
///
/// This structure represents a processed entry from the `MethodSpec` metadata table,
/// which defines instantiations of generic methods with concrete type arguments.
/// Unlike [`MethodSpecRaw`](crate::metadata::tables::MethodSpecRaw), this version contains resolved references
/// to actual method and type objects for efficient runtime access.
///
/// ## Purpose
///
/// `MethodSpec` entries enable generic method instantiation by:
/// - Linking to the generic method definition or member reference
/// - Specifying concrete type arguments for generic parameters
/// - Providing parsed instantiation signatures for runtime use
/// - Enabling proper generic method dispatch and type safety
///
/// ## Generic Method Resolution
///
/// The generic method resolution process involves:
/// 1. **Method Lookup**: Resolving the `method` field to the actual generic method
/// 2. **Signature Parsing**: Parsing the `instantiation` signature from the blob heap
/// 3. **Type Resolution**: Resolving each generic argument using the type registry
/// 4. **Application**: Applying the instantiation to the target method