nyash-codex 79342a8617 feat(method_return_hint): Add TypeOp support for .is()/.as() type inference ...

Phase 83 P3-D 拡張: TypeOp 命令の戻り値型推論を追加。

## 変更内容

- TypeOpKind::Check (.is()) → Bool
- TypeOpKind::Cast (.as()) → 対象型
- ユニットテスト 2 件追加 (test_infer_from_typeop_check, test_infer_from_typeop_cast)

## 成果

- Case D 削減: 20 → 15 (5件削減, 25%)
- Unit tests: 7/7 passed

🤖 Generated with [Claude Code](https://claude.com/claude-code)

Co-Authored-By: Claude <noreply@anthropic.com>

2025-12-02 18:16:21 +09:00

..

common

Span trace utilities and runner source hint

2025-11-24 14:17:02 +09:00

loop_scope_shape

JoinIR/SSA/Stage-3: sync CURRENT_TASK and dev env

2025-12-01 11:10:46 +09:00

common.rs

refactor(joinir): Extract construct_simple_while_loopform helper, delete legacy code

2025-11-26 10:15:31 +09:00

exit_args_resolver.rs

Span trace utilities and runner source hint

2025-11-24 14:17:02 +09:00

funcscanner_append_defs.rs

refactor(joinir): L-1.3 - Rename minimal helpers to Case-A helpers

2025-11-26 10:28:03 +09:00

funcscanner_trim.rs

refactor(joinir): Split ast_lowerer and join_ir_vm_bridge into modules

2025-11-28 17:42:19 +09:00

generic_case_a.rs

Remove Trio boxes and tidy loop scope warnings

2025-11-30 11:46:14 +09:00

generic_type_resolver.rs

JoinIR/SSA/Stage-3: sync CURRENT_TASK and dev env

2025-12-01 11:10:46 +09:00

if_dry_runner.rs

feat(joinir): Phase 61-1 If-in-loop JoinIR化インフラ整備完了

2025-11-29 11:53:57 +09:00

if_merge.rs

feat(joinir): Phase 64-1/2 P2型ヒント実装 & 削減条件準備

2025-11-30 05:12:59 +09:00

if_phi_context.rs

feat(joinir): Phase 61-4 loop-outside If JoinIR infrastructure

2025-11-29 15:08:23 +09:00

if_phi_spec.rs

feat(joinir): Phase 61-6.2 Delete A/B test observation code (-71 lines)

2025-11-29 16:11:39 +09:00

if_select.rs

feat(joinir): Phase 63-4 infer_type_from_phi degradation design

2025-11-29 17:58:06 +09:00

loop_form_intake.rs

JoinIR/SSA/Stage-3: sync CURRENT_TASK and dev env

2025-12-01 11:10:46 +09:00

loop_to_join.rs

JoinIR/SSA/Stage-3: sync CURRENT_TASK and dev env

2025-12-01 11:10:46 +09:00

method_return_hint.rs

feat(method_return_hint): Add TypeOp support for .is()/.as() type inference

2025-12-02 18:16:21 +09:00

min_loop.rs

Normalize passes keep spans and clean warnings

2025-11-24 15:02:51 +09:00

mod.rs

feat(lifecycle): Phase 83 P3-D MethodReturnHintBox implementation

2025-12-02 18:09:04 +09:00

skip_ws.rs

refactor(joinir): L-1.3 - Rename minimal helpers to Case-A helpers

2025-11-26 10:28:03 +09:00

stage1_using_resolver.rs

refactor(joinir): Split ast_lowerer and join_ir_vm_bridge into modules

2025-11-28 17:42:19 +09:00

stageb_body.rs

refactor(joinir): L-2.2 Step-1 - Unify Stage-B lowering via LoopToJoinLowerer

2025-11-26 10:47:35 +09:00

stageb_funcscanner.rs

refactor(joinir): Split ast_lowerer and join_ir_vm_bridge into modules

2025-11-28 17:42:19 +09:00

type_hint_policy.rs

feat(joinir): Phase 66-68 GenericTypeResolver + JoinIR First Chapter Wrap

2025-11-30 08:54:18 +09:00

type_inference.rs

feat(joinir): Phase 65-2-A StringBox メソッド型ヒント実装

2025-11-30 06:10:58 +09:00

value_id_ranges.rs

Span trace utilities and runner source hint

2025-11-24 14:17:02 +09:00