rue_typing/check/
check_error.rs

1use thiserror::Error;
2
3use crate::TypeId;
4
5#[derive(Debug, Error, Clone, Copy, PartialEq, Eq)]
6pub enum CheckError {
7    #[error("recursive check")]
8    Recursive(TypeId, TypeId),
9}