3 个版本 (破坏性)

0.4.0 2024年3月14日
0.3.0 2024年3月6日
0.2.0 2024年3月6日
0.1.0 2024年3月2日

#1638Rust 模式

Download history 108/week @ 2024-03-10 12/week @ 2024-03-17 40/week @ 2024-03-31 4/week @ 2024-04-07

每月178次下载

MIT 许可证

16KB
176

genz

通过不变生命周期实现类型唯一性。

提供了一种非 Copy 零尺寸类型标记 UniqueType,这使得在无需使用 unsafe 代码的情况下无法调用以下内容

# use genz::*;
fn same_type<'c, T>(t1: UniqueType<'c, T>, t2: UniqueType<'c, T>)
{
  panic!("this is impossible!")
}

lib.rs:

通过不变生命周期实现类型唯一性。

提供了一种 UniqueType 标记,使得在无需使用 unsafe 代码的情况下无法调用以下内容

fn same_type<'c, T>(t1: UniqueType<'c, T>, t2: UniqueType<'c, T>)
{
  panic!("this is impossible!")
}

无运行时依赖