Struct TypeConstraint 

pub struct TypeConstraint {
    pub expr_id: ExprId,
    pub ty: TypeRepr,
    pub context: String,
}

型制約

簡約せずにそのまま保持し、デバッグ・観察可能にする。 出所情報は TypeRepr 内に含まれる。

Fields

expr_id: ExprId

対象となる式の ID

ty: TypeRepr

構造化された型表現（出所情報を含む）

context: String

デバッグ用コンテキスト（どこで取得したか）

Implementations

impl TypeConstraint

pub fn new(expr_id: ExprId, ty: TypeRepr, context: impl Into<String>) -> Self

新しい型制約を作成

pub fn source_display(&self) -> &'static str

出所の表示用文字列を取得

Trait Implementations

impl Clone for TypeConstraint

fn clone(&self) -> TypeConstraint

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for TypeConstraint

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.