Revert stabilization of never type by nikomatsakis · Pull Request #67224 · rust-lang/rust
github.com/rust-lang/rust/pull

あああああああああああ!!!!!!!!!!!!!!

Regression in Error conversion from Infallible · Issue #66757 · rust-lang/rust
github.com/rust-lang/rust/issu

うわああああ
またしても安定化がキャンセルされたらさすがに泣く

結局継承はアカンみたいな問題踏んでるなぁ…… Deref は危険

Deref をなくして AsRef だけでどうにかするというのが現実的なのかなぁ……でも .len() とかその他諸々の内部的特性はほぼそのまま引き継がれてほしいので、いちいち個別に実装したくないし……

このとき実際にほしいのは、
Foo::to_prefix_and_suffix(&self) -> (Foo, Suffix)

FooBai::to_prefix_and_suffix(&self) -> (Baz, Suffix)
なのよね。さてどうするか。

たとえば文字列や配列のようなスライス型 &FooBar は安全かつ値の欠損なしに &Foo に変換可能であるとする。
impl Deref for FooBar { type Target = Foo; ...}
のような実装はとても自然で実際そうしているんだけど、ここで {Foo,FooBar}::to_prefix_and_suffix() のようなものを実装したい。

ぐぬぬ、 deref のせいで同名かつ型の違うメソッドを複数の型に実装するのが危険すぎるな

うぅ……バッジが build failing になってる……やっぱりリリースしたくなってきたけどどうしよう

とりあえず通常の (最新の依存での) テストが通っているから良しとしよう、 Cargo.toml は後で修正しとく (このためだけのリリースは作らない)

Job #65.4 - lo48576/iri-string - Travis CI
travis-ci.com/lo48576/iri-stri

ほげぇ、便意が極まっていたから CI 見届けずに publish したら最小バージョンでのビルドがコケとるやんけ!!!

Comparing cebd4fc6a46c08d6be091ba1d5a086853ac156e6..15edb03219236575e6960964fd8eb86aa1db3f2d · w3c/json-ld-api
github.com/w3c/json-ld-api/com

前回の editors draft と比較してアルゴリズムを修正する作業が必要になっている

context processing algorithm の実装ができたっぽいので、次は expansion algorithm です

ついに never type (⊥型) が普通の型と同様に使えるようになる!!!

Stabilize never_type *again* · Issue #57012 · rust-lang/rust
github.com/rust-lang/rust/issu

Stabilize (only) the never type · Issue #58184 · rust-lang/rust
github.com/rust-lang/rust/issu

Stabilize `!` in Rust 1.41.0 by Centril · Pull Request #65355 · rust-lang/rust
github.com/rust-lang/rust/pull

🎉🎉🎉🎉🎉

github.com/rust-lang/rust/issu
Rustの比較演算子オーバーロードに使われるPartialEq/PartialOrdは異なる型の間にも実装できるが、その場合でも推移律と対称律/反対称律が成り立つことを要求している。しかし肝心のドキュメントの例がそれを満たしていなかったらしい。

Show more
Mastodon

The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!