user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
rust/tests/ui/trait-bounds
History
Exact
Stuart Cook f87f9a456c
Rollup merge of #147734 - fmease:tighten-relaxed, r=lcnr 
Further tighten up relaxed bounds

Follow-up to rust-lang/rust#142693, rust-lang/rust#135331 and rust-lang/rust#135841.
Fixes rust-lang/rust#143122.

* Reject relaxed bounds `?Trait` in the bounds of trait aliases.
  Just like `trait Trait {}` doesn't mean `trait Trait: Sized {}` and we therefore reject `trait Trait: ?Sized {}`, `trait Trait =;` (sic!) doesn't mean `trait Trait = Sized;` (never did!) and as a logical consequence `trait Trait = ?Sized;` is meaningless and should be forbidden.
* Don't permit `?Sized` in more places (e.g., supertrait bounds, trait object types) if feature `more_maybe_bounds` is enabled.
  That internal feature is only meant to allow the user to define & use *new* default traits (that have fewer rules to follow for now to ease experimentation).
* Unconditionally check that the `Trait` in `?Trait` is a default trait.
  Previously, we would only perform this check in selected places which was very brittle and led to bugs slipping through.
* Slightly improve diagnostics.
2025-10-20 22:30:53 +11:00
..
anonymous-parameters-13775.rs comments 2025-08-05 19:34:46 +05:00
apit-unsized.rs
apit-unsized.stderr On implicit Sized bound on fn argument, point at type instead of pattern 2024-09-27 00:45:02 +00:00
argument-with-unnecessary-method-call.rs Detect when method call on argument could be removed to fulfill failed trait bound 2024-02-16 04:28:05 +00:00
argument-with-unnecessary-method-call.stderr Show diff suggestion format on verbose replacement 2025-02-10 20:21:39 +00:00
deep-level-Send-bound-check-issue-40827.rs Rename and Move some UI tests to more suitable subdirs 2025-02-04 17:02:37 +05:30
deep-level-Send-bound-check-issue-40827.stderr Rename and Move some UI tests to more suitable subdirs 2025-02-04 17:02:37 +05:30
duplicate-relaxed-bounds.rs Don't reject *multiple* relaxed bounds, reject *duplicate* ones. 2025-07-18 12:24:56 +02:00
duplicate-relaxed-bounds.stderr Don't reject *multiple* relaxed bounds, reject *duplicate* ones. 2025-07-18 12:24:56 +02:00
enum-unit-variant-trait-bound.rs
enum-unit-variant-trait-bound.stderr
false-span-in-trait-bound-label.rs Point to correct argument in Func Call when Self type fails trait bound 2025-07-07 16:47:15 +08:00
false-span-in-trait-bound-label.stderr Point to correct argument in Func Call when Self type fails trait bound 2025-07-07 16:47:15 +08:00
fix-dyn-sized-fn-param-sugg.rs Don't reject *multiple* relaxed bounds, reject *duplicate* ones. 2025-07-18 12:24:56 +02:00
fix-dyn-sized-fn-param-sugg.stderr Don't reject *multiple* relaxed bounds, reject *duplicate* ones. 2025-07-18 12:24:56 +02:00
for-binder-placement-error-39089.rs Rehome tests/ui/issues/ tests [1/?] 2025-07-24 17:01:44 -04:00
for-binder-placement-error-39089.stderr Rehome tests/ui/issues/ tests [1/?] 2025-07-24 17:01:44 -04:00
ice-unsized-struct-arg-issue-121612.rs Add missing regression tests 2024-03-09 12:01:19 +05:30
ice-unsized-struct-arg-issue-121612.stderr Add missing regression tests 2024-03-09 12:01:19 +05:30
ice-unsized-struct-arg-issue2-121424.rs Add missing regression tests 2024-03-09 12:01:19 +05:30
ice-unsized-struct-arg-issue2-121424.stderr Add missing regression tests 2024-03-09 12:01:19 +05:30
ice-unsized-tuple-const-issue-121443.rs Check Sizedness of return type in WF 2025-02-03 19:00:22 +00:00
ice-unsized-tuple-const-issue-121443.stderr Tweak error code for sized checks of const/static 2025-03-03 23:09:42 +00:00
impl-bound-with-references-error.rs
impl-bound-with-references-error.stderr
impl-derived-implicit-sized-bound-2.rs
impl-derived-implicit-sized-bound-2.stderr
impl-derived-implicit-sized-bound.rs
impl-derived-implicit-sized-bound.stderr
impl-missing-where-clause-lifetimes-from-trait.rs
impl-missing-where-clause-lifetimes-from-trait.stderr Better error message for late/early lifetime param mismatch 2025-05-07 18:12:54 +00:00
invalid-bound-modifier-87199.rs Add test batch 5 2025-10-12 00:33:20 -04:00
invalid-bound-modifier-87199.stderr Add test batch 5 2025-10-12 00:33:20 -04:00
issue-75961.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-82038.rs
issue-82038.stderr
issue-93008.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-94680.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-94999.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-95640.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-119530-sugg-from-fn.rs
issue-119530-sugg-from-fn.stderr
maybe-bound-generics-deny.rs Actually do validation for poly trait refs with ? modifier 2024-10-30 23:42:50 +00:00
maybe-bound-generics-deny.stderr Actually do validation for poly trait refs with ? modifier 2024-10-30 23:42:50 +00:00
maybe-bound-has-path-args.rs Reword diagnostic about relaxing non-Sized bound 2025-07-18 12:13:30 +02:00
maybe-bound-has-path-args.stderr Reword diagnostic about relaxing non-Sized bound 2025-07-18 12:13:30 +02:00
maybe-bound-with-assoc.rs Reword diagnostic about relaxing non-Sized bound 2025-07-18 12:13:30 +02:00
maybe-bound-with-assoc.stderr Reword diagnostic about relaxing non-Sized bound 2025-07-18 12:13:30 +02:00
mismatch-fn-trait.rs
mismatch-fn-trait.stderr Improve presentation of closure signature mismatch from Fn trait goal 2025-04-08 05:54:57 +00:00
more_maybe_bounds.rs More robustly reject relaxing non-default trait bounds 2025-10-16 19:53:32 +02:00
more_maybe_bounds.stderr More robustly reject relaxing non-default trait bounds 2025-10-16 19:53:32 +02:00
negative-bound-not-supported-58857.rs Add test batch 3 2025-09-12 14:45:12 -04:00
negative-bound-not-supported-58857.stderr Add test batch 3 2025-09-12 14:45:12 -04:00
projection-predicate-not-satisfied-69455.rs Add test batch 5 2025-10-12 00:33:20 -04:00
projection-predicate-not-satisfied-69455.stderr Add test batch 5 2025-10-12 00:33:20 -04:00
restrict-assoc-type-of-generic-bound.fixed [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
restrict-assoc-type-of-generic-bound.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
restrict-assoc-type-of-generic-bound.stderr Tweak wording 2024-12-07 22:18:51 +00:00
shadowed-path-in-trait-bound-suggestion.fixed Add more missing 2015 edition directives 2025-06-05 09:20:19 +02:00
shadowed-path-in-trait-bound-suggestion.rs Add more missing 2015 edition directives 2025-06-05 09:20:19 +02:00
shadowed-path-in-trait-bound-suggestion.stderr Add more missing 2015 edition directives 2025-06-05 09:20:19 +02:00
suggest-maybe-sized-bound.rs
suggest-maybe-sized-bound.stderr
super-assoc-mismatch.rs address review feedback 2024-03-04 21:06:52 +01:00
super-assoc-mismatch.stderr Remove detail from label/note that is already available in other note 2024-10-29 16:26:57 +00:00
trait-bound-adt-issue-145611.rs Do not use effective_visibilities query for Adt types of a local trait while proving a where-clause 2025-08-20 18:29:01 +08:00
trait-bound-adt-issue-145611.stderr On E0277, point at type that doesn't implement bound 2025-08-22 17:55:15 +00:00
trait-selection-overflow-prevention-72839.rs Rehome tests/ui/issues/ tests [3/?] 2025-08-04 16:43:53 -04:00
trait-selection-overflow-prevention-72839.stderr Rehome tests/ui/issues/ tests [3/?] 2025-08-04 16:43:53 -04:00
unsized-bound.rs
unsized-bound.stderr
unstable-trait-suggestion.rs Add test for lack of suggestion in stable 2024-12-07 21:26:23 +00:00
unstable-trait-suggestion.stderr Use trait name instead of full constraint in suggestion message 2024-12-07 21:29:58 +00:00