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

ices/107228.sh: fixed with no errors #1655

Merged
merged 1 commit into from
Oct 15, 2023
Merged

Conversation

github-actions[bot]
Copy link
Contributor

Issue: rust-lang/rust#107228

#!/bin/bash

rustc -Zvalidate-mir --crate-type=lib - <<'EOF'

#![feature(specialization)]

pub(crate) trait SpecTrait {
    type Assoc;
}

impl<C> SpecTrait for C {
    default type Assoc = Vec<Self>;
}

pub(crate) struct AssocWrap<C: SpecTrait> {
    _assoc: C::Assoc,
}

fn instantiate<C: SpecTrait>() -> AssocWrap<C> {
    loop {}
}

pub fn trigger() {
    instantiate::<()>();
}
EOF
=== stdout ===
=== stderr ===
warning: the feature `specialization` is incomplete and may not be safe to use and/or cause compiler crashes
 --> <anon>:2:12
  |
2 | #![feature(specialization)]
  |            ^^^^^^^^^^^^^^
  |
  = note: see issue #31844 <https://github.com/rust-lang/rust/issues/31844> for more information
  = help: consider using `min_specialization` instead, which is more stable and complete
  = note: `#[warn(incomplete_features)]` on by default

warning: 1 warning emitted

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

=== stdout ===
=== stderr ===
warning: the feature `specialization` is incomplete and may not be safe to use and/or cause compiler crashes
 --> <anon>:2:12
  |
2 | #![feature(specialization)]
  |            ^^^^^^^^^^^^^^
  |
  = note: see issue #31844 <rust-lang/rust#31844> for more information
  = help: consider using `min_specialization` instead, which is more stable and complete
  = note: `#[warn(incomplete_features)]` on by default

warning: 1 warning emitted

==============
@JohnTitor JohnTitor merged commit 8105fbe into master Oct 15, 2023
@JohnTitor JohnTitor deleted the autofix/ices/107228.sh branch October 15, 2023 03:04
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.

2 participants