class Tracing::TypeCheck::NullError