Skip to content
This repository has been archived by the owner on May 23, 2024. It is now read-only.

ices/79949.rs: fixed with errors #705

Merged
merged 1 commit into from
Apr 1, 2021
Merged

Conversation

github-actions[bot]
Copy link
Contributor

@github-actions github-actions bot commented Apr 1, 2021

Issue: rust-lang/rust#79949

trait MP {
    type T<'a>;
}
struct S(String);
impl MP for S {
    type T<'a> = &'a str;
}

trait SR: MP {
    fn sr<IM>(&self) -> i32
    where
        for<'a> IM: T<T: U<<Self as MP>::T<'a>>>;
}

trait T {
    type T;
}
trait U<X> {}
=== stdout ===
=== stderr ===
error[E0658]: generic associated types are unstable
 --> /home/runner/work/glacier/glacier/ices/79949.rs:2:5
  |
2 |     type T<'a>;
  |     ^^^^^^^^^^^
  |
  = note: see issue #44265 <https://github.com/rust-lang/rust/issues/44265> for more information
  = help: add `#![feature(generic_associated_types)]` to the crate attributes to enable

error[E0658]: generic associated types are unstable
 --> /home/runner/work/glacier/glacier/ices/79949.rs:6:5
  |
6 |     type T<'a> = &'a str;
  |     ^^^^^^^^^^^^^^^^^^^^^
  |
  = note: see issue #44265 <https://github.com/rust-lang/rust/issues/44265> for more information
  = help: add `#![feature(generic_associated_types)]` to the crate attributes to enable

error[E0658]: associated type bounds are unstable
  --> /home/runner/work/glacier/glacier/ices/79949.rs:12:23
   |
12 |         for<'a> IM: T<T: U<<Self as MP>::T<'a>>>;
   |                       ^^^^^^^^^^^^^^^^^^^^^^^^^
   |
   = note: see issue #52662 <https://github.com/rust-lang/rust/issues/52662> for more information
   = help: add `#![feature(associated_type_bounds)]` to the crate attributes to enable

error[E0601]: `main` function not found in crate `79949`
  --> /home/runner/work/glacier/glacier/ices/79949.rs:1:1
   |
1  | / trait MP {
2  | |     type T<'a>;
3  | | }
4  | | struct S(String);
...  |
17 | | }
18 | | trait U<X> {}
   | |_____________^ consider adding a `main` function to `/home/runner/work/glacier/glacier/ices/79949.rs`

error: aborting due to 4 previous errors

Some errors have detailed explanations: E0601, E0658.
For more information about an error, try `rustc --explain E0601`.
==============

=== stdout ===
=== stderr ===
error[E0658]: generic associated types are unstable
 --> /home/runner/work/glacier/glacier/ices/79949.rs:2:5
  |
2 |     type T<'a>;
  |     ^^^^^^^^^^^
  |
  = note: see issue #44265 <rust-lang/rust#44265> for more information
  = help: add `#![feature(generic_associated_types)]` to the crate attributes to enable

error[E0658]: generic associated types are unstable
 --> /home/runner/work/glacier/glacier/ices/79949.rs:6:5
  |
6 |     type T<'a> = &'a str;
  |     ^^^^^^^^^^^^^^^^^^^^^
  |
  = note: see issue #44265 <rust-lang/rust#44265> for more information
  = help: add `#![feature(generic_associated_types)]` to the crate attributes to enable

error[E0658]: associated type bounds are unstable
  --> /home/runner/work/glacier/glacier/ices/79949.rs:12:23
   |
12 |         for<'a> IM: T<T: U<<Self as MP>::T<'a>>>;
   |                       ^^^^^^^^^^^^^^^^^^^^^^^^^
   |
   = note: see issue #52662 <rust-lang/rust#52662> for more information
   = help: add `#![feature(associated_type_bounds)]` to the crate attributes to enable

error[E0601]: `main` function not found in crate `79949`
  --> /home/runner/work/glacier/glacier/ices/79949.rs:1:1
   |
1  | / trait MP {
2  | |     type T<'a>;
3  | | }
4  | | struct S(String);
...  |
17 | | }
18 | | trait U<X> {}
   | |_____________^ consider adding a `main` function to `/home/runner/work/glacier/glacier/ices/79949.rs`

error: aborting due to 4 previous errors

Some errors have detailed explanations: E0601, E0658.
For more information about an error, try `rustc --explain E0601`.
==============
@JohnTitor JohnTitor merged commit ec3b552 into master Apr 1, 2021
@JohnTitor JohnTitor deleted the autofix/ices/79949.rs branch April 1, 2021 12:16
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants