mirror
/
rust
mirror of https://github.com/rust-lang/rust
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
rust/tests/ui/higher-ranked/trait-bounds
History
Matthias Krüger 1e1e64f10f
Rollup merge of #127844 - chenyukang:yukang-fix-type-bound-127555, r=jieyouxu 
Remove invalid further restricting suggestion for type bound

This PR partially addresses #127555, it will remove the obvious error suggestion:

```console
   |                      ^^^^ required by this bound in `<Baz as Foo>::bar`
help: consider further restricting this bound
   |
12 |         F: FnMut() + Send + std::marker::Send,
   |                           +++++++++++++++++++
```

I may create another PR to get a better diagnostic for `impl has stricter requirements than trait` scenario.
 		2024-07-17 16:22:32 +02:00
..
normalize-under-binder Add opaque type test 2024-06-20 09:20:45 +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_bug`s to `span_delayed_bug`. 2024-02-26 10:57:30 +11:00
span-bug-issue-121597.stderr Revert some `span_bug`s to `span_delayed_bug`. 2024-02-26 10:57:30 +11: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