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

ices/72793.rs: fixed with no errors #458

Merged

JohnTitor merged 1 commit into master from autofix/ices/72793.rs

Aug 14, 2020

Contributor

github-actions bot commented Aug 14, 2020

Issue: rust-lang/rust#72793

#![feature(type_alias_impl_trait)]

trait T { type Item; }

type Alias<'a> = impl T<Item = &'a ()>;

struct S;
impl<'a> T for &'a S {
    type Item = &'a ();
}

fn filter_positive<'a>() -> Alias<'a> {
    &S
}

fn with_positive(fun: impl Fn(Alias<'_>)) {
    fun(filter_positive());
}

fn main() {
    with_positive(|_| ());
}

=== stdout ===
=== stderr ===
==============


          ices/72793.rs: fixed with no errors

ceb8291

=== stdout ===
=== stderr ===
==============

JohnTitor approved these changes

View reviewed changes

JohnTitor merged commit 83e17ec into master

JohnTitor deleted the autofix/ices/72793.rs branch

August 14, 2020 12:26

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet