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

ices/103708.rs: fixed with errors #1705

Open
wants to merge 1 commit into
base: master
Choose a base branch
from

Conversation

github-actions[bot]
Copy link
Contributor

Issue: rust-lang/rust#103708

#![feature(min_specialization)]

trait Dance {
    fn foo();
}

impl<'a, T> Dance for T {
    fn foo() {}
}

impl Dance for bool {
    fn foo() {}
}

fn main() {}
=== stdout ===
=== stderr ===
error[E0520]: `foo` specializes an item from a parent `impl`, but that item is not marked `default`
  --> /home/runner/work/glacier/glacier/ices/103708.rs:12:5
   |
7  | impl<'a, T> Dance for T {
   | ----------------------- parent `impl` is here
...
12 |     fn foo() {}
   |     ^^^^^^^^ cannot specialize default item `foo`
   |
   = note: to specialize, `foo` in the parent `impl` must be marked `default`

error: aborting due to 1 previous error

For more information about this error, try `rustc --explain E0520`.
==============

=== stdout ===
=== stderr ===
error[E0520]: `foo` specializes an item from a parent `impl`, but that item is not marked `default`
  --> /home/runner/work/glacier/glacier/ices/103708.rs:12:5
   |
7  | impl<'a, T> Dance for T {
   | ----------------------- parent `impl` is here
...
12 |     fn foo() {}
   |     ^^^^^^^^ cannot specialize default item `foo`
   |
   = note: to specialize, `foo` in the parent `impl` must be marked `default`

error: aborting due to 1 previous error

For more information about this error, try `rustc --explain E0520`.
==============
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant