Skip to content

Commit

Permalink
Remove known-bug label 97167 from typeid equality by subtyping test
Browse files Browse the repository at this point in the history
  • Loading branch information
spastorino committed Sep 17, 2024
1 parent e9e13a6 commit f27c6b7
Show file tree
Hide file tree
Showing 2 changed files with 3 additions and 4 deletions.
Original file line number Diff line number Diff line change
@@ -1,5 +1,4 @@
//@ known-bug: #110395
//@ known-bug: #97156

#![feature(const_type_id, const_trait_impl, generic_const_exprs)]
#![allow(incomplete_features)]
Expand Down
Original file line number Diff line number Diff line change
@@ -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,
| ^^^^^^^^^^^
Expand All @@ -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);
Expand Down

0 comments on commit f27c6b7

Please sign in to comment.