Skip to content

Failed get in util::ppaux::re_scope_id_to_str, followed by ICE #2586

Closed

Description

@lkuper

Gist of the backtrace: https://gist.github.com/2926927

This came up because I had set RUST_LOG=rustc::middle::typeck::infer=3 in order to debug an unrelated issue in infer, and turning logging on for infer caused this.

Activity

  1. nikomatsakis commented on Jun 16, 2012

    @nikomatsakis
    Contributor

    the problem here is the synthesized expressions created for predicates in the type check fn check_constraints(). they don't have a real expression id so there is no corresponding entry in the ast_map. this is pretty sketchy code to begin with, so I guess I'd be inclined to change that code rather than the print-out.

  2. nikomatsakis commented on Jun 16, 2012

    @nikomatsakis
    Contributor

    on the other hand, that'd be hard. so maybe I'll just make the printouts not fail when they find something unexpected but instead print out a less-than-useful string.

  3. nikomatsakis commented on Jun 16, 2012

    @nikomatsakis
    Contributor

    or maybe take the VERY EASY path and remove the preconditions from core::result::iter2

  4. added a commit that references this issue on Jul 6, 2012
  5. nikomatsakis commented on Jul 16, 2012

    @nikomatsakis
    Contributor

    Fixed in commit 41a21f0, which removed current incarnation of typestate.

  6. added a commit that references this issue on Jul 14, 2020
    52cc5fc
  7. added a commit that references this issue on Jan 6, 2023
  8. added a commit that references this issue on Sep 22, 2025
  9. added a commit that references this issue on Aug 21, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

Labels

A-lifetimesArea: Lifetimes / regionsA-prettyArea: Pretty printing (including `-Z unpretty`)I-crashIssue: The compiler crashes (SIGSEGV, SIGABRT, etc). Use I-ICE instead when the compiler panics.

Type

No type

Projects

No projects

    Milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions