Skip to content

Commit f27c6b7

Browse files
committed
Remove known-bug label 97167 from typeid equality by subtyping test
1 parent e9e13a6 commit f27c6b7

File tree

2 files changed

+3
-4
lines changed

2 files changed

+3
-4
lines changed

tests/ui/const-generics/generic_const_exprs/typeid-equality-by-subtyping.rs

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,4 @@
11
//@ known-bug: #110395
2-
//@ known-bug: #97156
32

43
#![feature(const_type_id, const_trait_impl, generic_const_exprs)]
54
#![allow(incomplete_features)]

tests/ui/const-generics/generic_const_exprs/typeid-equality-by-subtyping.stderr

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
error: to use a constant of type `TypeId` in a pattern, `TypeId` must be annotated with `#[derive(PartialEq)]`
2-
--> $DIR/typeid-equality-by-subtyping.rs:18:9
2+
--> $DIR/typeid-equality-by-subtyping.rs:17:9
33
|
44
LL | WHAT_A_TYPE => 0,
55
| ^^^^^^^^^^^
@@ -8,13 +8,13 @@ LL | WHAT_A_TYPE => 0,
88
= note: see https://doc.rust-lang.org/stable/std/marker/trait.StructuralPartialEq.html for details
99

1010
error[E0277]: the trait bound `for<'a, 'b> fn(&'a (), &'b ()): WithAssoc<T>` is not satisfied
11-
--> $DIR/typeid-equality-by-subtyping.rs:44:51
11+
--> $DIR/typeid-equality-by-subtyping.rs:43:51
1212
|
1313
LL | fn unsound<T>(x: <One as WithAssoc<T>>::Assoc) -> <Two as WithAssoc<T>>::Assoc
1414
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `WithAssoc<T>` is not implemented for `for<'a, 'b> fn(&'a (), &'b ())`
1515

1616
error[E0277]: the trait bound `for<'a, 'b> fn(&'a (), &'b ()): WithAssoc<T>` is not satisfied
17-
--> $DIR/typeid-equality-by-subtyping.rs:47:1
17+
--> $DIR/typeid-equality-by-subtyping.rs:46:1
1818
|
1919
LL | / {
2020
LL | | let x: <Two as WithAssoc<T>>::Assoc = generic::<One, T>(x);

0 commit comments

Comments
 (0)