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
0 reposts2 likes
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!