From 71e162e6caf3aa64f727f3bc2aa8744f771eb12b Mon Sep 17 00:00:00 2001 From: Deadbeef Date: Tue, 26 Jul 2022 13:57:19 +0000 Subject: Fix diagnostics for unfulfilled obligations --- src/test/ui/const-generics/issues/issue-90318.stderr | 2 -- src/test/ui/consts/min_const_fn/cmp_fn_pointers.stderr | 10 ---------- .../rfc-2632-const-trait-impl/call-generic-method-fail.stderr | 8 +------- 3 files changed, 1 insertion(+), 19 deletions(-) (limited to 'src/test') diff --git a/src/test/ui/const-generics/issues/issue-90318.stderr b/src/test/ui/const-generics/issues/issue-90318.stderr index 30eb4eba4a6..aba4b5c1a8d 100644 --- a/src/test/ui/const-generics/issues/issue-90318.stderr +++ b/src/test/ui/const-generics/issues/issue-90318.stderr @@ -10,7 +10,6 @@ note: the trait `PartialEq<_>` is implemented for `TypeId`, but that implementat | LL | If<{ TypeId::of::() != TypeId::of::<()>() }>: True, | ^^ - = help: the trait `PartialEq` is implemented for `TypeId` error[E0277]: can't compare `TypeId` with `_` in const contexts --> $DIR/issue-90318.rs:21:28 @@ -24,7 +23,6 @@ note: the trait `PartialEq<_>` is implemented for `TypeId`, but that implementat | LL | If<{ TypeId::of::() != TypeId::of::<()>() }>: True, | ^^ - = help: the trait `PartialEq` is implemented for `TypeId` error: aborting due to 2 previous errors diff --git a/src/test/ui/consts/min_const_fn/cmp_fn_pointers.stderr b/src/test/ui/consts/min_const_fn/cmp_fn_pointers.stderr index 02d01445aa1..8a1b20a3345 100644 --- a/src/test/ui/consts/min_const_fn/cmp_fn_pointers.stderr +++ b/src/test/ui/consts/min_const_fn/cmp_fn_pointers.stderr @@ -10,16 +10,6 @@ note: the trait `PartialEq<_>` is implemented for `fn()`, but that implementatio | LL | unsafe { x == y } | ^^ - = help: the following other types implement trait `PartialEq`: - extern "C" fn() -> Ret - extern "C" fn(A, B) -> Ret - extern "C" fn(A, B, ...) -> Ret - extern "C" fn(A, B, C) -> Ret - extern "C" fn(A, B, C, ...) -> Ret - extern "C" fn(A, B, C, D) -> Ret - extern "C" fn(A, B, C, D, ...) -> Ret - extern "C" fn(A, B, C, D, E) -> Ret - and 68 others error: aborting due to previous error diff --git a/src/test/ui/rfc-2632-const-trait-impl/call-generic-method-fail.stderr b/src/test/ui/rfc-2632-const-trait-impl/call-generic-method-fail.stderr index b011a2916fb..83d395dda19 100644 --- a/src/test/ui/rfc-2632-const-trait-impl/call-generic-method-fail.stderr +++ b/src/test/ui/rfc-2632-const-trait-impl/call-generic-method-fail.stderr @@ -9,13 +9,7 @@ note: the trait `PartialEq<_>` is implemented for `T`, but that implementation i | LL | *t == *t | ^^ - = help: the following other types implement trait `PartialEq`: - <&A as PartialEq<&B>> - <&A as PartialEq<&mut B>> - <&mut A as PartialEq<&B>> - <&mut A as PartialEq<&mut B>> - <*const T as PartialEq> - <*mut T as PartialEq> + = help: the trait `PartialEq<&B>` is implemented for `&A` error: aborting due to previous error -- cgit 1.4.1-3-g733a5