Enable to handle some promoted constants

[coord-e]

for #10

[Copilot]

Pull request overview

This PR refactors constant handling to support promoted constants by moving the logic from Env::operand_type() to the Analyzer struct in basic_block.rs. The implementation is decomposed into three helper methods for better maintainability and adds support for handling unevaluated constants.

• Moves constant handling from env.rs to basic_block.rs for better access to type context
• Adds support for promoted constants via const_eval_resolve
• Introduces PlaceType::immut() method for creating immutable pointer types

Reviewed changes

Copilot reviewed 2 out of 2 changed files in this pull request and generated 3 comments.

File	Description
src/refine/env.rs	Removes operand_type method, unused imports, and adds new immut() helper method
src/analyze/basic_block.rs	Implements three new methods (const_bytes_ty, const_value_ty, const_ty) for handling constants and refactors operand_type to use them

---

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

[Copilot]

Pull request overview

Copilot reviewed 2 out of 2 changed files in this pull request and generated 7 comments.

---

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.