Skip to content

ICE when Add trait is missing the add method #31076

Closed
#55710
Closed
ICE when Add trait is missing the add method#31076
#55710
Labels
C-bugCategory: This is a bug.I-ICEIssue: The compiler panicked, giving an Internal Compilation Error (ICE) ❄️

Description

@oli-obk
oli-obk
opened on Jan 21, 2016

if the method is missing, rustc panics due to an unwrap on a None:

#![feature(no_core, lang_items)]
#![no_core]

#[lang="sized"]
trait Sized {}

#[lang="add"]
trait Add<T> {}

impl Add<i32> for i32 {}

fn main() {
    let x = 5 + 6;
}

Activity

  1. oli-obk
    changed the title [-]ICE when `Add` trai is missing the `add` method[/-] [+]ICE when `Add` trait is missing the `add` method[/+] on Jan 21, 2016

  2. oli-obk commented on Jan 21, 2016

    @oli-obk
    oli-obk
    on Jan 21, 2016
    ContributorAuthor

    related to #9307

  3. steveklabnik
    added
    I-ICEIssue: The compiler panicked, giving an Internal Compilation Error (ICE) ❄️
    on Jan 26, 2016
  4. Mark-Simulacrum
    added
    C-bugCategory: This is a bug.
    on Jul 22, 2017

  5. istankovic commented on Mar 18, 2018

    @istankovic
    istankovic
    on Mar 18, 2018
    Contributor

    Still an issue with rustc 1.26.0-nightly (adf2135ad 2018-03-17).

  6. jsirs
    added a commit that references this issue on Nov 5, 2018

    Add test

    2a1dc1e
  7. kennytm
    added a commit that references this issue on Nov 6, 2018

    Rollup merge of rust-lang#55694 - jsirs:issue-31076, r=oli-obk

    54bc9c2
  8. bors
    added a commit that references this issue on Nov 6, 2018

    Auto merge of #55710 - kennytm:rollup, r=kennytm

    f90aab7
  9. bors
    closed this as completedin #55710on Nov 6, 2018
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    C-bugCategory: This is a bug.I-ICEIssue: The compiler panicked, giving an Internal Compilation Error (ICE) ❄️

    Type

    No type

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions