nordic-dev.net/rust
nordic-dev.net/rust
2
0
Fork 0
mirror of https://github.com/rust-lang/rust.git synced 2024-11-29 10:13:54 +00:00
Code Issues Packages Projects Releases Wiki Activity
6c4a7b6ff3
rust/tests/ui/higher-ranked/trait-bounds
History
Esteban Küber 5b54286640 Remove detail from label/note that is already available in other note 
Remove the "which is required by `{root_obligation}`" post-script in
"the trait `X` is not implemented for `Y`" explanation in E0277. This
information is already conveyed in the notes explaining requirements,
making it redundant while making the text (particularly in labels)
harder to read.

```
error[E0277]: the trait bound `NotCopy: Copy` is not satisfied
  --> $DIR/wf-static-type.rs:10:13
   |
LL | static FOO: IsCopy<Option<NotCopy>> = IsCopy { t: None };
   |             ^^^^^^^^^^^^^^^^^^^^^^^ the trait `Copy` is not implemented for `NotCopy`
   |
   = note: required for `Option<NotCopy>` to implement `Copy`
note: required by a bound in `IsCopy`
  --> $DIR/wf-static-type.rs:7:17
   |
LL | struct IsCopy<T:Copy> { t: T }
   |                 ^^^^ required by this bound in `IsCopy`
```
vs the prior

```
error[E0277]: the trait bound `NotCopy: Copy` is not satisfied
  --> $DIR/wf-static-type.rs:10:13
   |
LL | static FOO: IsCopy<Option<NotCopy>> = IsCopy { t: None };
   |             ^^^^^^^^^^^^^^^^^^^^^^^ the trait `Copy` is not implemented for `NotCopy`, which is required by `Option<NotCopy>: Copy`
   |
   = note: required for `Option<NotCopy>` to implement `Copy`
note: required by a bound in `IsCopy`
  --> $DIR/wf-static-type.rs:7:17
   |
LL | struct IsCopy<T:Copy> { t: T }
   |                 ^^^^ required by this bound in `IsCopy`
```
2024-10-29 16:26:57 +00:00
..
normalize-under-binder Remove detail from label/note that is already available in other note 2024-10-29 16:26:57 +00:00
complex.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
due-to-where-clause.rs directory size limit :< 2023-05-30 13:04:25 +02:00
due-to-where-clause.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
fn-ptr.rs Fix obligation param and bless tests 2024-04-01 22:48:23 -04:00
future.rs Fix obligation param and bless tests 2024-04-01 22:48:23 -04:00
hang-on-deeply-nested-dyn.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
hang-on-deeply-nested-dyn.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
hrtb-binder-levels-in-object-types.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
hrtb-cache-issue-54302.rs directory size limit :< 2023-05-30 13:04:25 +02:00
hrtb-cache-issue-54302.stderr unify query canonicalization mode 2023-12-15 06:59:42 +00:00
hrtb-conflate-regions.rs directory size limit :< 2023-05-30 13:04:25 +02:00
hrtb-conflate-regions.stderr Add a note to duplicate diagnostics 2023-10-05 01:04:41 +00:00
hrtb-debruijn-in-receiver.rs directory size limit :< 2023-05-30 13:04:25 +02:00
hrtb-debruijn-in-receiver.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
hrtb-debruijn-object-types-in-closures.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
hrtb-doesnt-borrow-self-1.rs rebase oddity 2024-04-03 22:48:55 +01:00
hrtb-doesnt-borrow-self-1.stderr rebase oddity 2024-04-03 22:48:55 +01:00
hrtb-doesnt-borrow-self-2.rs rebase oddity 2024-04-03 22:48:55 +01:00
hrtb-doesnt-borrow-self-2.stderr rebase oddity 2024-04-03 22:48:55 +01:00
hrtb-exists-forall-fn.rs directory size limit :< 2023-05-30 13:04:25 +02:00
hrtb-exists-forall-fn.stderr recurse into refs when comparing tys for diagnostics 2023-12-07 23:00:46 -05:00
hrtb-exists-forall-trait-contravariant.rs directory size limit :< 2023-05-30 13:04:25 +02:00
hrtb-exists-forall-trait-contravariant.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
hrtb-exists-forall-trait-covariant.rs Make infer higher ranked equate use bidirectional subtyping in invariant context 2024-02-29 15:27:56 -03:00
hrtb-exists-forall-trait-covariant.stderr Make infer higher ranked equate use bidirectional subtyping in invariant context 2024-02-29 15:27:56 -03:00
hrtb-exists-forall-trait-invariant.rs directory size limit :< 2023-05-30 13:04:25 +02:00
hrtb-exists-forall-trait-invariant.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
hrtb-fn-like-trait-object.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
hrtb-fn-like-trait.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
hrtb-higher-ranker-supertraits-transitive.rs directory size limit :< 2023-05-30 13:04:25 +02:00
hrtb-higher-ranker-supertraits-transitive.stderr instantiate higher ranked goals in candidate selection 2024-07-10 14:13:16 +02:00
hrtb-higher-ranker-supertraits.rs instantiate higher ranked goals in candidate selection 2024-07-10 14:13:16 +02:00
hrtb-higher-ranker-supertraits.stderr Remove invalid further restricting for type bound 2024-07-17 19:08:37 +08:00
hrtb-identity-fn-borrows.rs directory size limit :< 2023-05-30 13:04:25 +02:00
hrtb-identity-fn-borrows.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
hrtb-just-for-static.rs directory size limit :< 2023-05-30 13:04:25 +02:00
hrtb-just-for-static.stderr directory size limit :< 2023-05-30 13:04:25 +02:00
hrtb-malformed-lifetime-generics.rs directory size limit :< 2023-05-30 13:04:25 +02:00
hrtb-malformed-lifetime-generics.stderr directory size limit :< 2023-05-30 13:04:25 +02:00
hrtb-opt-in-copy.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
hrtb-parse.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
hrtb-perfect-forwarding.polonius.stderr Manual find replace updates 2023-11-24 21:04:51 +01:00
hrtb-perfect-forwarding.rs directory size limit :< 2023-05-30 13:04:25 +02:00
hrtb-perfect-forwarding.stderr directory size limit :< 2023-05-30 13:04:25 +02:00
hrtb-precedence-of-plus-where-clause.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
hrtb-precedence-of-plus.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
hrtb-resolve-lifetime.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
hrtb-trait-object-paren-notation.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
hrtb-trait-object-passed-to-closure.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
hrtb-type-outlives.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
hrtb-unboxed-closure-trait.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
hrtb-wrong-kind.rs directory size limit :< 2023-05-30 13:04:25 +02:00
hrtb-wrong-kind.stderr Bless tests 2024-01-13 12:46:58 -05:00
issue-36139-normalize-closure-sig.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-39292.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-42114.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-43623.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-46989.rs directory size limit :< 2023-05-30 13:04:25 +02:00
issue-46989.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
issue-57639.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-58451.rs directory size limit :< 2023-05-30 13:04:25 +02:00
issue-58451.stderr Use ordinal number in argument error 2024-07-14 13:50:09 +09:00
issue-59311.rs eagerly instantiate binders to avoid relying on sub 2024-03-14 17:19:40 +01:00
issue-59311.stderr Consolidate obligation cause codes for where clauses 2024-05-11 02:10:45 -04:00
issue-60283.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-62203-hrtb-ice.rs directory size limit :< 2023-05-30 13:04:25 +02:00
issue-62203-hrtb-ice.stderr adjust how closure/generator types and rvalues are printed 2023-09-21 22:20:58 +02:00
issue-88446.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-88586-hr-self-outlives-in-trait-def.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-90177.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-95034.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-95230.next.stderr distinguish recursion limit based overflow for diagnostics 2024-02-29 10:14:02 +01:00
issue-95230.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-100689.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-102899.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
rigid-equate-projections-in-higher-ranked-fn-signature.next.stderr Also passthrough for projection clauses 2024-06-12 19:10:02 -04:00
rigid-equate-projections-in-higher-ranked-fn-signature.rs tests: Add ui/higher-ranked/trait-bounds/normalize-generic-arg.rs 2024-06-08 17:48:21 +02:00
span-bug-issue-121597.rs Revert some span_bugs to span_delayed_bug. 2024-02-26 10:57:30 +11:00
span-bug-issue-121597.stderr Compiler: Rename "object safe" to "dyn compatible" 2024-09-25 13:26:48 +02:00
trivial-does-not-hold.rs Consolidate obligation cause codes for where clauses 2024-05-11 02:10:45 -04:00
trivial-does-not-hold.stderr Consolidate obligation cause codes for where clauses 2024-05-11 02:10:45 -04:00