From f27c6b7771b24e72400e0411a8d8dd4899ba4835 Mon Sep 17 00:00:00 2001
From: Santiago Pastorino <spastorino@gmail.com>
Date: Tue, 17 Sep 2024 15:14:27 -0300
Subject: [PATCH] Remove known-bug label 97167 from typeid equality by
 subtyping test

---
 .../generic_const_exprs/typeid-equality-by-subtyping.rs     | 1 -
 .../generic_const_exprs/typeid-equality-by-subtyping.stderr | 6 +++---
 2 files changed, 3 insertions(+), 4 deletions(-)

diff --git a/tests/ui/const-generics/generic_const_exprs/typeid-equality-by-subtyping.rs b/tests/ui/const-generics/generic_const_exprs/typeid-equality-by-subtyping.rs
index 81be8d5c7d767..a89ae158d3425 100644
--- a/tests/ui/const-generics/generic_const_exprs/typeid-equality-by-subtyping.rs
+++ b/tests/ui/const-generics/generic_const_exprs/typeid-equality-by-subtyping.rs
@@ -1,5 +1,4 @@
 //@ known-bug: #110395
-//@ known-bug: #97156
 
 #![feature(const_type_id, const_trait_impl, generic_const_exprs)]
 #![allow(incomplete_features)]
diff --git a/tests/ui/const-generics/generic_const_exprs/typeid-equality-by-subtyping.stderr b/tests/ui/const-generics/generic_const_exprs/typeid-equality-by-subtyping.stderr
index 26e724c906137..d34aa122489f9 100644
--- a/tests/ui/const-generics/generic_const_exprs/typeid-equality-by-subtyping.stderr
+++ b/tests/ui/const-generics/generic_const_exprs/typeid-equality-by-subtyping.stderr
@@ -1,5 +1,5 @@
 error: to use a constant of type `TypeId` in a pattern, `TypeId` must be annotated with `#[derive(PartialEq)]`
-  --> $DIR/typeid-equality-by-subtyping.rs:18:9
+  --> $DIR/typeid-equality-by-subtyping.rs:17:9
    |
 LL |         WHAT_A_TYPE => 0,
    |         ^^^^^^^^^^^
@@ -8,13 +8,13 @@ LL |         WHAT_A_TYPE => 0,
    = note: see https://doc.rust-lang.org/stable/std/marker/trait.StructuralPartialEq.html for details
 
 error[E0277]: the trait bound `for<'a, 'b> fn(&'a (), &'b ()): WithAssoc<T>` is not satisfied
-  --> $DIR/typeid-equality-by-subtyping.rs:44:51
+  --> $DIR/typeid-equality-by-subtyping.rs:43:51
    |
 LL | fn unsound<T>(x: <One as WithAssoc<T>>::Assoc) -> <Two as WithAssoc<T>>::Assoc
    |                                                   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `WithAssoc<T>` is not implemented for `for<'a, 'b> fn(&'a (), &'b ())`
 
 error[E0277]: the trait bound `for<'a, 'b> fn(&'a (), &'b ()): WithAssoc<T>` is not satisfied
-  --> $DIR/typeid-equality-by-subtyping.rs:47:1
+  --> $DIR/typeid-equality-by-subtyping.rs:46:1
    |
 LL | / {
 LL | |     let x: <Two as WithAssoc<T>>::Assoc = generic::<One, T>(x);