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

ices/80956.rs: fixed with no errors #930

Closed

github-actions wants to merge 1 commit into master from autofix/ices/80956.rs

Contributor

github-actions bot commented Aug 26, 2021

Issue: rust-lang/rust#80956

pub trait Bar {
    type Type;
}
pub struct Foo<'a>(&'a ());
impl<'a> Bar for Foo<'a> {
    type Type = ();
}

pub fn func<'a>(_: <Foo<'a> as Bar>::Type) {}
pub fn assert_is_func<A>(_: fn(A)) {}

pub fn test()
where
    for<'a> <Foo<'a> as Bar>::Type: Sized,
{
    assert_is_func(func);
}

fn main() {}

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


          ices/80956.rs: fixed with no errors

3bce4e2

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

Alexendoo closed this

Alexendoo deleted the autofix/ices/80956.rs branch

August 29, 2021 12:49

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

Labels

None yet