trait 未解之谜

lengyijun 发表于 2023-06-20 19:02

能否以是否实现某个 trait, 对所有类型划分
- negative trait bound
- https://github.com/rust-lang/rust/issues/42721
- possible solution
  - https://internals.rust-lang.org/t/rule-for-trait-without-impl-trait-being-a-breaking-change/14763
- chalk 中不支持
能否以 trait 中 bool 常量, 对所有类型划分
- zulip 里看到的, 链接找不到了
- ```
fn func()
where
    SomeTrait::b = true
{
    ...
}
```
能否以 trait 中 u8 常量, 对所有类型划分
- https://rust-lang.zulipchat.com/#narrow/stream/144729-t-types/topic/const.20comparisons.20in.20where.20bounds/near/327882203

写评论

作者 lengyijun 2023-06-20 19:02

看了两天 zulip 上的讨论,总结了一下

1 共 1 条评论, 1 页