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

ices/93788.rs: fixed with no errors #1130

Merged

Alexendoo merged 1 commit into master from autofix/ices/93788.rs

Feb 12, 2022

Contributor

github-actions bot commented Feb 12, 2022

Issue: rust-lang/rust#93788

struct D;

trait Tr {
    type It;
    fn foo(self) -> Option<Self::It>;
}

impl<'a> Tr for &'a D {
    type It = ();
    fn foo(self) -> Option<()> { None }
}

fn run<F>(f: F)
    where for<'a> &'a D: Tr,
          F: Fn(<&D as Tr>::It),
{
    let d = &D;
    while let Some(i) = d.foo() {
        f(i);
    }
}

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

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


          ices/93788.rs: fixed with no errors

b8093a5

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

Alexendoo approved these changes

View reviewed changes

Alexendoo merged commit f6f30d0 into master

Alexendoo deleted the autofix/ices/93788.rs branch

February 12, 2022 12:11

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

Labels

None yet