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

ices/65934.rs: fixed with no errors #493

Merged

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

Oct 7, 2020

Contributor

github-actions bot commented Oct 7, 2020

Issue: rust-lang/rust#65934

trait Trait {
    type Assoc;
}

impl Trait for () {
    type Assoc = ();
}

trait Dummy<T> {}

impl<T> Dummy<T> for () {}

fn make<T: Trait>() -> impl Dummy<T::Assoc> {}

fn extract<T>(_: impl Dummy<T>) -> Option<T> {
    None
}

pub fn ice() {
    extract(make::<()>());
}

fn main() {}

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


          ices/65934.rs: fixed with no errors

1c9deb0

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

JohnTitor approved these changes

View reviewed changes

JohnTitor merged commit 9b70c81 into master

JohnTitor deleted the autofix/ices/65934.rs branch

October 7, 2020 13:01

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

Labels

None yet