1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
use std::fmt::{Debug, Display};
pub use num::BigInt;
use crate::ty2::marks::*;
use crate::ty2::range::*;
use crate::ty2::types::*;
pub trait Subtype: Debug + Display {}
#[derive(Debug, PartialEq)]
pub struct ScalarSubtype<'t, T: Type + ?Sized + 't, C: Clone> {
#[allow(dead_code)]
pub(crate) resfn: Option<usize>,
pub(crate) mark: &'t TypeMark<'t>,
pub(crate) base: &'t T,
pub(crate) con: Range<C>,
}
impl<'t, T: Type + ?Sized + 't + PartialEq, C: Clone + PartialEq> Eq for ScalarSubtype<'t, T, C> {}
impl<'t, T: Type + ?Sized + 't, C: Clone> Clone for ScalarSubtype<'t, T, C> {
fn clone(&self) -> Self {
ScalarSubtype {
resfn: self.resfn.clone(),
mark: self.mark,
base: self.base,
con: self.con.clone(),
}
}
}