Open lcnr opened 8 months ago
#![recursion_limit = "128"] trait Recur {} impl<T> Recur for T where (T, ()): Recur, ((), T): Recur, { } trait NotImplemented {} impl<T: NotImplemented> Recur for (T,) {} fn main() {}
hangs with -Znext-solver=coherence. I am currently looking into this, going to just add some stronger arbitrary limits here
-Znext-solver=coherence
hangs with
-Znext-solver=coherence
. I am currently looking into this, going to just add some stronger arbitrary limits here