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

ices/101940.rs: fixed with errors #1445

Merged
merged 1 commit into from
Oct 15, 2022
Merged

ices/101940.rs: fixed with errors #1445

merged 1 commit into from
Oct 15, 2022

Conversation

github-actions[bot]
Copy link
Contributor

Issue: rust-lang/rust#101940

pub trait Trait {
    type Fut<'a> where Self: 'a;
    fn fun<'a, 'b>(&'a self, x: &'_ mut &'b ()) -> Self::Fut<'a>
    where
        'b: 'a;
}
impl Trait for () {
    type Fut<'a> = impl ::std::future::Future + 'a
    where
        Self: 'a;
    fn fun<'a, 'b>(&'a self, x: &'_ mut &'b ()) -> Self::Fut<'a>
    where
        'b: 'a,
    {
        async { }
    }
}

pub fn main() {}
=== stdout ===
=== stderr ===
error[E0658]: `impl Trait` in type aliases is unstable
 --> /home/runner/work/glacier/glacier/ices/101940.rs:8:20
  |
8 |     type Fut<'a> = impl ::std::future::Future + 'a
  |                    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
  |
  = note: see issue #63063 <https://github.com/rust-lang/rust/issues/63063> for more information
  = help: add `#![feature(type_alias_impl_trait)]` to the crate attributes to enable

error: aborting due to previous error

For more information about this error, try `rustc --explain E0658`.
==============

=== stdout ===
=== stderr ===
error[E0658]: `impl Trait` in type aliases is unstable
 --> /home/runner/work/glacier/glacier/ices/101940.rs:8:20
  |
8 |     type Fut<'a> = impl ::std::future::Future + 'a
  |                    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
  |
  = note: see issue #63063 <rust-lang/rust#63063> for more information
  = help: add `#![feature(type_alias_impl_trait)]` to the crate attributes to enable

error: aborting due to previous error

For more information about this error, try `rustc --explain E0658`.
==============
@JohnTitor JohnTitor merged commit 0b9d2db into master Oct 15, 2022
@JohnTitor JohnTitor deleted the autofix/ices/101940.rs branch October 15, 2022 06:15
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