From ea4a26d1b932848913723d60b70dba93e71f5e80 Mon Sep 17 00:00:00 2001 From: rustbot Date: Tue, 21 Mar 2023 03:06:40 +0000 Subject: [PATCH] ices/109090.rs: fixed with errors === stdout === === stderr === error[E0576]: cannot find associated type `Bt` in `Bt` --> /home/runner/work/glacier/glacier/ices/109090.rs:15:34 | 4 | type C; | ------- associated type `C` defined here ... 15 | for<'a, B> >::Bt: Bt, {} | ^^ | | | not found in `Bt` | help: maybe you meant this associated type: `C` error[E0404]: expected trait, found type parameter `Bt` --> /home/runner/work/glacier/glacier/ices/109090.rs:15:38 | 3 | pub trait Bt { | -- you might have meant to refer to this trait ... 13 | pub fn oopsie() | -- found this type parameter 14 | where 15 | for<'a, B> >::Bt: Bt, {} | ^^ not a trait warning: the feature `non_lifetime_binders` is incomplete and may not be safe to use and/or cause compiler crashes --> /home/runner/work/glacier/glacier/ices/109090.rs:1:12 | 1 | #![feature(non_lifetime_binders)] | ^^^^^^^^^^^^^^^^^^^^ | = note: see issue #108185 for more information = note: `#[warn(incomplete_features)]` on by default error[E0223]: ambiguous associated type --> /home/runner/work/glacier/glacier/ices/109090.rs:15:17 | 15 | for<'a, B> >::Bt: Bt, {} | ^^^^ | help: if there were a trait named `Example` with associated type `C` implemented for `B`, you could use the fully-qualified path | 15 | for<'a, B> <::C as Bt<'a>>::Bt: Bt, {} | ~~~~~~~~~~~~~~~~~ error: aborting due to 3 previous errors; 1 warning emitted Some errors have detailed explanations: E0223, E0404, E0576. For more information about an error, try `rustc --explain E0223`. ============== --- {ices => fixed}/109090.rs | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename {ices => fixed}/109090.rs (100%) diff --git a/ices/109090.rs b/fixed/109090.rs similarity index 100% rename from ices/109090.rs rename to fixed/109090.rs