gluon_check/
typ.rs

1pub use crate::base::types::{ArcType as RcType, Flags, TypeExt, TypePtr};
2
3#[cfg(test)]
4mod tests {
5    use super::*;
6
7    use crate::base::{
8        symbol::Symbol,
9        types::{Generic, Type},
10    };
11
12    #[test]
13    fn flags() {
14        let gen = Type::<_, RcType>::generic(Generic::new(Symbol::from("a"), Default::default()));
15        assert_eq!(gen.flags(), Flags::HAS_GENERICS);
16        assert_eq!(
17            Type::function(vec![gen.clone()], gen.clone()).flags(),
18            Flags::HAS_GENERICS
19        );
20    }
21}