Skip to content

Consider Error Type Poisoning #72

@0xGeorgii

Description

@0xGeorgii

Add TypeInfoKind::Error for type poisoning (like rustc's TyKind::Error):

pub enum TypeInfoKind {
    // ... existing variants
    Error,  // Represents a type that couldn't be resolved
}

Benefits:

  • Prevents cascading errors when a type lookup fails
  • Allows type checking to continue more gracefully
  • Aligns with rustc's error handling model

Metadata

Metadata

Assignees

Labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions