Skip to content

exhaustiveness checking sometimes fails to detect missing variants #3011

Closed
Closed
exhaustiveness checking sometimes fails to detect missing variants#3011
Labels
A-type-systemArea: Type system

Description

@nikomatsakis
nikomatsakis
opened on Jul 25, 2012

I can't get a narrow test case, but the function bound_region_to_str() was missing a variant and no error was reported. The relevant case is now handled, but I added a FIXME tagged with this issue # so if you want to debug it, you can remove that variant.

Activity

  1. nikomatsakis commented on Jul 25, 2012

    @nikomatsakis
    nikomatsakis
    on Jul 25, 2012
    ContributorAuthor

    never mind, turned out to be user error, but of a scary kind

  2. nikomatsakis
    closed this as completedon Jul 25, 2012
  3. bors
    added a commit that references this issue on May 15, 2021

    Merge pull request rust-lang#3011 from topecongiro/rustc-ap-syntax

    bba7dbf
  4. RalfJung
    added a commit that references this issue on Aug 6, 2023

    Auto merge of rust-lang#3011 - saethlin:spellck, r=RalfJung

    646f564
  5. celinval
    added a commit that references this issue on Jun 4, 2024

    Automatic toolchain upgrade to nightly-2024-01-25 (rust-lang#3011)

    889d09e
  6. U007D
    added a commit that references this issue on Aug 21, 2026

    Merge rust-lang#3011

    9f58082
  7. tshepang
    added a commit that references this issue on Sep 18, 2026

    Merge pull request rust-lang#3011 from supercooltest2024/patch-1

    68ddb1e
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

    A-type-systemArea: Type system

    Type

    No type

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions