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

ices/71546.rs: fixed with errors #451

Merged
merged 1 commit into from
Jul 28, 2020
Merged

ices/71546.rs: fixed with errors #451

merged 1 commit into from
Jul 28, 2020

Conversation

github-actions[bot]
Copy link
Contributor

Issue: rust-lang/rust#71546

pub trait T {
    fn t<F: Fn()>(&self, _: F) {}
}

pub fn crash<V>(v: &V)
where
    for<'a> &'a V: T + 'static,
{
    v.t(|| {});
}

fn main() { }
=== stdout ===
=== stderr ===
error: higher-ranked subtype error
 --> /home/runner/work/glacier/glacier/ices/71546.rs:9:9
  |
9 |     v.t(|| {});
  |         ^^^^^

error: aborting due to previous error

==============

=== stdout ===
=== stderr ===
error: higher-ranked subtype error
 --> /home/runner/work/glacier/glacier/ices/71546.rs:9:9
  |
9 |     v.t(|| {});
  |         ^^^^^

error: aborting due to previous error

==============
Copy link
Member

@JohnTitor JohnTitor left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This one has been also fixed.

@JohnTitor JohnTitor merged commit 59d97b5 into master Jul 28, 2020
@JohnTitor JohnTitor deleted the autofix/ices/71546.rs branch July 28, 2020 12:20
# for free to subscribe to this conversation on GitHub. Already have an account? #.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants