From d5add4ce77820c13e9ec9d100cae6c3cd30b1413 Mon Sep 17 00:00:00 2001
From: rustbot <rustbot@users.noreply.github.com>
Date: Thu, 31 Mar 2022 12:05:57 +0000
Subject: [PATCH] ices/62742.rs: fixed with errors

=== stdout ===
=== stderr ===
error[E0601]: `main` function not found in crate `62742`
  --> /home/runner/work/glacier/glacier/ices/62742.rs:27:2
   |
27 | }
   |  ^ consider adding a `main` function to `/home/runner/work/glacier/glacier/ices/62742.rs`

error[E0277]: the trait bound `RawImpl<_>: Raw<_>` is not satisfied
  --> /home/runner/work/glacier/glacier/ices/62742.rs:4:5
   |
4  |     WrongImpl::foo(0i32);       // crash
   |     ^^^^^^^^^ the trait `Raw<_>` is not implemented for `RawImpl<_>`
   |
   = help: the following implementations were found:
             <RawImpl<T> as Raw<[T]>>
note: required by a bound in `SafeImpl`
  --> /home/runner/work/glacier/glacier/ices/62742.rs:23:35
   |
23 | pub struct SafeImpl<T: ?Sized, A: Raw<T>>(PhantomData<(A, T)>);
   |                                   ^^^^^^ required by this bound in `SafeImpl`

error[E0599]: the function or associated item `foo` exists for struct `SafeImpl<(), RawImpl<()>>`, but its trait bounds were not satisfied
  --> /home/runner/work/glacier/glacier/ices/62742.rs:5:22
   |
5  |     WrongImpl::<()>::foo(0i32); // fine
   |                      ^^^ function or associated item cannot be called on `SafeImpl<(), RawImpl<()>>` due to unsatisfied trait bounds
...
17 | pub struct RawImpl<T>(PhantomData<T>);
   | -------------------------------------- doesn't satisfy `RawImpl<()>: Raw<()>`
...
23 | pub struct SafeImpl<T: ?Sized, A: Raw<T>>(PhantomData<(A, T)>);
   | --------------------------------------------------------------- function or associated item `foo` not found for this
   |
   = note: the following trait bounds were not satisfied:
           `RawImpl<()>: Raw<()>`
note: the following trait must be implemented
  --> /home/runner/work/glacier/glacier/ices/62742.rs:9:1
   |
9  | / pub trait Raw<T: ?Sized> {
10 | |     type Value;
11 | | }
   | |_^

error[E0277]: the trait bound `RawImpl<()>: Raw<()>` is not satisfied
  --> /home/runner/work/glacier/glacier/ices/62742.rs:5:5
   |
5  |     WrongImpl::<()>::foo(0i32); // fine
   |     ^^^^^^^^^^^^^^^ the trait `Raw<()>` is not implemented for `RawImpl<()>`
   |
   = help: the following implementations were found:
             <RawImpl<T> as Raw<[T]>>
note: required by a bound in `SafeImpl`
  --> /home/runner/work/glacier/glacier/ices/62742.rs:23:35
   |
23 | pub struct SafeImpl<T: ?Sized, A: Raw<T>>(PhantomData<(A, T)>);
   |                                   ^^^^^^ required by this bound in `SafeImpl`

error: aborting due to 4 previous errors

Some errors have detailed explanations: E0277, E0599, E0601.
For more information about an error, try `rustc --explain E0277`.
==============
---
 {ices => fixed}/62742.rs | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 rename {ices => fixed}/62742.rs (100%)

diff --git a/ices/62742.rs b/fixed/62742.rs
similarity index 100%
rename from ices/62742.rs
rename to fixed/62742.rs