Rust Infinite ♾️ Compile Time 😂 It hangs on ```rs trait Foo { type Gat<'a>; } trait Bar { type Ty: Foo where for<'a> <Self::Ty as Foo>::Gat<'a>: Assoc<Ty = ()>; } trait Assoc { type Ty; } ``` #rustlang #code #opensource #linux #programming github.com/rust-lang/rust
Post
Rust analyzer gets stuck for the same. Even after closing my text editor, those `clippy-driver` instances persisted, had to `killall clippy-driver`. cc: www.youtube.com/watch?v=aKk_... @tsoding.bsky.social
youtube.comCompiling Should NOT be This SlowYouTube video by Tsoding Daily
The problem is with Generic Associated Types in Rust, that feature was rushed into stable. Should fix in the new solver blog.rust-lang.org/inside-rust/....
blog.rust-lang.orgRustc Trait System Refactor Initiative Update: Stabilizing `-Znext-solver=coherence` | Inside Rust BlogWant to follow along with Rust development? Curious how you might get involved? Take a look!
0 reposts4 likes
No replies yet.