e404746612
- RoutingDecision の missing_caps を Vec<CapabilityTag> に変更（型安全化） - error_tags は to_tag() メソッドで自動生成 - 全 callsite を enum variant に修正 - capability_tags モジュール（文字列定数群）を完全削除 - 全テスト PASS（型安全性向上を確認） - フォーマット適用
33 lines
1.2 KiB
Rust
33 lines
1.2 KiB
Rust
use super::super::{MirBuilder, MirType, ValueId};
|
||
|
||
/// Annotate the origin of `me`/receiver with a Known class when分かる範囲のみ。
|
||
/// - 優先: current_static_box（静的ボックスの文脈）
|
||
/// - 次点: 現在の関数名のプレフィックス（"Class.method/Arity"）
|
||
/// - それ以外: 付与せず（挙動不変）
|
||
pub(crate) fn annotate_me_origin(builder: &mut MirBuilder, me_id: ValueId) {
|
||
let mut cls: Option<String> = None;
|
||
if let Some(c) = builder.comp_ctx.current_static_box.clone() {
|
||
if !c.is_empty() {
|
||
cls = Some(c);
|
||
}
|
||
}
|
||
if cls.is_none() {
|
||
if let Some(ref fun) = builder.scope_ctx.current_function {
|
||
if let Some(dot) = fun.signature.name.find('.') {
|
||
let c = fun.signature.name[..dot].to_string();
|
||
if !c.is_empty() {
|
||
cls = Some(c);
|
||
}
|
||
}
|
||
}
|
||
}
|
||
if let Some(c) = cls {
|
||
// Record both origin class and a Box type hint for downstream passes（観測用）。
|
||
builder
|
||
.type_ctx
|
||
.value_origin_newbox
|
||
.insert(me_id, c.clone());
|
||
builder.type_ctx.value_types.insert(me_id, MirType::Box(c));
|
||
}
|
||
}
|