assert_eq!(subtype_a, subtype_c);
        assert_ne!(subtype_a, subtype_b);
        assert_ne!(subtype_c, subtype_b);