itsscb/rust
1
0
Fork 0
mirror of https://github.com/rust-lang/rust.git synced 2026-01-20 18:00:40 +00:00
Code Issues Packages Projects Releases Wiki Activity
rust/tests/ui/traits
History
Matthias Krüger 47e6684e53
Rollup merge of #136314 - compiler-errors:const-deref-adj, r=fee1-dead 
Use proper type when applying deref adjustment in const

When applying a deref adjustment to some type `Wrap<T>` which derefs to `T`, we were checking that `T: ~const Deref`, not `Wrap<T>: ~const Deref` like we should have been.

r? project-const-traits

Fixes #136273
Fixes #135210 -- I just deleted the test since the regression test is uninteresting
2025-02-01 01:19:21 +01:00
..
alias
Compiler: Finalize dyn compatibility renaming
2025-01-26 21:20:31 +01:00
associated_type_bound
…
auxiliary
…
bound
…
const-traits
Use proper type when applying deref adjustment in const
2025-01-30 18:44:12 +00:00
default-method
…
error-reporting
…
fn-pointer
Make bare-fn test less dependent on path width
2025-01-09 17:32:29 +00:00
inductive-overflow
…
inheritance
…
negative-bounds
…
negative-impls
…
next-solver
Manually walk into WF obligations in BestObligation proof tree visitor
2025-01-31 18:21:58 +00:00
non_lifetime_binders
Rollup merge of #135860 - fmease:compiler-mv-obj-save-dyn-compat-ii, r=jieyouxu
2025-01-31 12:28:15 +01:00
object
Rollup merge of #135860 - fmease:compiler-mv-obj-save-dyn-compat-ii, r=jieyouxu
2025-01-31 12:28:15 +01:00
reservation-impl
…
solver-cycles
merge tests
2025-01-30 11:56:29 +01:00
suggest-dereferences
…
trait-upcasting
More assertions, tests, and miri coverage
2025-01-30 17:44:28 +00:00
vtable
Rework rustc_dump_vtable
2025-01-30 15:30:04 +00:00
wf-object
…
winnowing
…
alignment-gep-tup-like-1.rs
…
anon_trait_static_method_exe.rs
…
anon-static-method.rs
…
as-struct-constructor.rs
…
as-struct-constructor.stderr
…
assignability-trait.rs
…
assoc-type-hrtb-normalization-30472.rs
…
assoc-type-in-superbad.rs
…
assoc-type-in-superbad.stderr
…
assoc-type-in-supertrait.rs
…
astconv-cycle-between-and-type.rs
…
augmented-assignments-trait.rs
…
bad-method-typaram-kind.rs
…
bad-method-typaram-kind.stderr
…
bad-sized.rs
…
bad-sized.stderr
Rework trait expansion to happen once explicitly
2025-01-15 01:26:24 +00:00
bug-7183-generics.rs
…
bug-7295.rs
…
cache-issue-18209.rs
…
cache-reached-depth-ice.rs
…
cache-reached-depth-ice.stderr
…
coercion-generic-bad.rs
…
coercion-generic-bad.stderr
…
coercion-generic-regions.rs
…
coercion-generic-regions.stderr
best_blame_constraint: don't filter constraints by sup SCC
2025-01-06 16:08:29 -08:00
coercion-generic.rs
…
coercion.rs
…
composition-trivial.rs
…
conditional-dispatch.rs
…
conditional-model-fn.rs
…
conservative_impl_trait.rs
…
copy-guessing.rs
…
copy-guessing.stderr
…
copy-impl-cannot-normalize.rs
…
copy-impl-cannot-normalize.stderr
…
copy-is-not-modulo-regions.not_static.stderr
…
copy-is-not-modulo-regions.rs
…
copy-requires-self-wf.rs
…
cycle-cache-err-60010.rs
…
cycle-cache-err-60010.stderr
…
cycle-generic-bound.rs
…
cycle-type-trait.rs
…
deny-builtin-object-impl.current.stderr
…
deny-builtin-object-impl.next.stderr
…
deny-builtin-object-impl.rs
…
do-not-mention-type-params-by-name-in-suggestion-issue-96292.rs
…
do-not-mention-type-params-by-name-in-suggestion-issue-96292.stderr
…
dont-autoderef-ty-with-escaping-var.rs
…
dont-autoderef-ty-with-escaping-var.stderr
…
dont-match-error-ty-with-calller-supplied-obligation-issue-121941.rs
…
dont-match-error-ty-with-calller-supplied-obligation-issue-121941.stderr
…
duplicate-methods.rs
…
duplicate-methods.stderr
…
dyn-any-prefer-vtable.rs
…
dyn-drop-principal.rs
…
dyn-drop-principal.run.stdout
…
dyn-star-drop-principal.rs
…
dyn-star-drop-principal.stderr
…
dyn-trait.rs
…
early-vtbl-resolution.rs
…
elaborate-type-region.rs
…
false-ambiguity-where-clause-builtin-bound.rs
…
fmt-pointer-trait.rs
…
fully-qualified-syntax-cast.rs
…
fully-qualified-syntax-cast.stderr
…
generic_param_mismatch_in_unsatisfied_projection.rs
…
generic_param_mismatch_in_unsatisfied_projection.stderr
…
generic.rs
…
hrtb-related-type-params-30867.rs
…
ice-index-out-of-bounds-issue-117446.rs
…
ice-index-out-of-bounds-issue-117446.stderr
…
ice-trait-with-default-method-but-no-impl-broken-mir-109869-1.rs
…
ice-trait-with-default-method-but-no-impl-broken-mir-109869-1.stderr
…
ice-trait-with-default-method-but-no-impl-broken-mir-109869-2.rs
…
ice-trait-with-default-method-but-no-impl-broken-mir-109869-2.stderr
…
ice-trait-with-default-method-but-no-impl-broken-mir-109869-trivial-bounds.rs
…
ice-trait-with-default-method-but-no-impl-broken-mir-109869-trivial-bounds.stderr
…
ice-with-dyn-pointee-errors.rs
…
ice-with-dyn-pointee-errors.stderr
…
ice-with-dyn-pointee.rs
…
ignore-err-impls.rs
…
ignore-err-impls.stderr
…
impl_trait_as_trait_return_position.rs
…
impl-1.rs
…
impl-1.stderr
…
impl-2.rs
…
impl-bounds-checking.rs
…
impl-bounds-checking.stderr
…
impl-can-not-have-untraitful-items.rs
…
impl-can-not-have-untraitful-items.stderr
…
impl-different-num-params.rs
…
impl-different-num-params.stderr
…
impl-evaluation-order.rs
…
impl-for-module.rs
…
impl-for-module.stderr
…
impl-implicit-trait.rs
…
impl-inherent-prefer-over-trait.rs
…
impl-inherent-prefer-over-trait.stderr
…
impl-method-mismatch.rs
…
impl-method-mismatch.stderr
…
impl-object-overlap-issue-23853.rs
…
impl-object-overlap-issue-23853.stderr
…
impl-of-supertrait-has-wrong-lifetime-parameters.rs
…
impl-of-supertrait-has-wrong-lifetime-parameters.stderr
…
impl.rs
…
impl.stderr
…
incoherent-impl-ambiguity.rs
…
incoherent-impl-ambiguity.stderr
…
infer-from-object-issue-26952.rs
…
inherent-method-order.rs
…
issue-2611-3.rs
…
issue-3683.rs
…
issue-3973.rs
…
issue-3973.stderr
…
issue-3979-generics.rs
…
issue-4107.rs
…
issue-5008-borrowed-traitobject-method-call.rs
…
issue-6128.rs
…
issue-6128.stderr
…
issue-6334.rs
…
issue-7013.rs
…
issue-7013.stderr
…
issue-8153.rs
…
issue-8153.stderr
…
issue-9394-inherited-calls.rs
…
issue-15155.rs
…
issue-18400.rs
…
issue-18400.stderr
…
issue-18412.rs
…
issue-20692.rs
Refactor dyn-compatibility error and suggestions
2025-01-22 09:20:57 -08:00
issue-20692.stderr
Compiler: Finalize dyn compatibility renaming
2025-01-26 21:20:31 +01:00
issue-21837.rs
…
issue-21837.stderr
…
issue-22019.rs
…
issue-22110.rs
…
issue-22384.rs
…
issue-22384.stderr
…
issue-22655.rs
…
issue-23003-overflow.rs
…
issue-23003.rs
…
issue-23825.rs
…
issue-24010.rs
…
issue-26339.rs
…
issue-28576.rs
Refactor dyn-compatibility error and suggestions
2025-01-22 09:20:57 -08:00
issue-28576.stderr
Compiler: Finalize dyn compatibility renaming
2025-01-26 21:20:31 +01:00
issue-32963.rs
…
issue-32963.stderr
…
issue-33096.rs
…
issue-33140-hack-boundaries.rs
…
issue-33140-hack-boundaries.stderr
…
issue-33140.rs
…
issue-33140.stderr
…
issue-33187.rs
…
issue-35869.rs
…
issue-35869.stderr
…
issue-38033.rs
…
issue-38033.stderr
…
issue-38404.rs
Refactor dyn-compatibility error and suggestions
2025-01-22 09:20:57 -08:00
issue-38404.stderr
Compiler: Finalize dyn compatibility renaming
2025-01-26 21:20:31 +01:00
issue-38604.rs
Refactor dyn-compatibility error and suggestions
2025-01-22 09:20:57 -08:00
issue-38604.stderr
Compiler: Finalize dyn compatibility renaming
2025-01-26 21:20:31 +01:00
issue-40085.rs
…
issue-43132.rs
…
issue-43784-supertrait.rs
…
issue-43784-supertrait.stderr
…
issue-50480.rs
…
issue-50480.stderr
…
issue-52893.rs
…
issue-52893.stderr
…
issue-56202.rs
…
issue-56488.rs
…
issue-58344.rs
…
issue-59029-1.rs
…
issue-59029-1.stderr
…
issue-59029-2.rs
…
issue-65284-suggest-generic-trait-bound.rs
…
issue-65284-suggest-generic-trait-bound.stderr
…
issue-65673.rs
…
issue-65673.stderr
…
issue-66768.rs
…
issue-68295.rs
…
issue-68295.stderr
…
issue-70944.rs
…
issue-71036.rs
…
issue-71036.stderr
…
issue-71136.rs
…
issue-71136.stderr
…
issue-72410.rs
Refactor dyn-compatibility error and suggestions
2025-01-22 09:20:57 -08:00
issue-72410.stderr
Compiler: Finalize dyn compatibility renaming
2025-01-26 21:20:31 +01:00
issue-72455.rs
…
issue-75627.rs
…
issue-75627.stderr
…
issue-77982.rs
…
issue-77982.stderr
…
issue-78372.rs
…
issue-78372.stderr
…
issue-78632.rs
…
issue-79458.rs
…
issue-79458.stderr
…
issue-82830.rs
…
issue-83538-tainted-cache-after-cycle.rs
…
issue-83538-tainted-cache-after-cycle.stderr
…
issue-84399-bad-fresh-caching.rs
…
issue-85360-eval-obligation-ice.rs
…
issue-85360-eval-obligation-ice.stderr
…
issue-85735.rs
…
issue-85735.stderr
…
issue-87558.rs
…
issue-87558.stderr
…
issue-89119.rs
…
issue-90195-2.rs
…
issue-90195.rs
…
issue-90662-projection-caching.rs
…
issue-91594.rs
…
issue-91594.stderr
…
issue-91949-hangs-on-recursion.rs
…
issue-91949-hangs-on-recursion.stderr
…
issue-92292.rs
…
issue-95311.rs
…
issue-95898.rs
…
issue-95898.stderr
…
issue-96664.rs
…
issue-96665.rs
…
issue-97576.rs
…
issue-97576.stderr
…
issue-97695-double-trivial-bound.rs
…
issue-103563.rs
…
issue-104322.rs
…
issue-105231.rs
…
issue-105231.stderr
…
issue-106072.rs
Remove a bunch of diagnostic stashing that doesn't do anything
2025-01-11 19:22:06 +00:00
issue-106072.stderr
Remove a bunch of diagnostic stashing that doesn't do anything
2025-01-11 19:22:06 +00:00
issue-117794.rs
…
issue-117794.stderr
…
item-inside-macro.rs
…
item-privacy.rs
Refactor dyn-compatibility error and suggestions
2025-01-22 09:20:57 -08:00
item-privacy.stderr
Compiler: Finalize dyn compatibility renaming
2025-01-26 21:20:31 +01:00
kindck-owned-contains-1.rs
…
make-sure-to-filter-projections-by-def-id.rs
…
map-types.rs
…
map-types.stderr
…
matching-lifetimes.rs
…
matching-lifetimes.stderr
…
maybe-polarity-pass.rs
…
maybe-polarity-pass.stderr
…
maybe-polarity-repeated.rs
…
maybe-polarity-repeated.stderr
…
method-argument-mismatch-variance-ice-119867.rs
…
method-argument-mismatch-variance-ice-119867.stderr
…
method-on-unbounded-type-param.rs
…
method-on-unbounded-type-param.stderr
…
method-private.rs
…
method-private.stderr
…
missing-for-type-in-impl.e2015.stderr
Compiler: Finalize dyn compatibility renaming
2025-01-26 21:20:31 +01:00
missing-for-type-in-impl.e2021.stderr
Remove a bunch of diagnostic stashing that doesn't do anything
2025-01-11 19:22:06 +00:00
missing-for-type-in-impl.rs
Refactor dyn-compatibility error and suggestions
2025-01-22 09:20:57 -08:00
monad.rs
…
monomorphized-callees-with-ty-params-3314.rs
…
multidispatch1.rs
…
multidispatch2.rs
…
multidispatch-bad.rs
…
multidispatch-bad.stderr
…
multidispatch-conditional-impl-not-considered.rs
…
multidispatch-conditional-impl-not-considered.stderr
…
multidispatch-convert-ambig-dest.rs
…
multidispatch-convert-ambig-dest.stderr
…
multidispatch-infer-convert-target.rs
…
multidispatch-infer-convert-target.stderr
…
mutual-recursion-issue-75860.rs
…
mutual-recursion-issue-75860.stderr
…
no_send-struct.rs
…
no_send-struct.stderr
…
no-fallback-multiple-impls.rs
…
no-fallback-multiple-impls.stderr
…
non-lifetime-via-dyn-builtin.current.stderr
…
non-lifetime-via-dyn-builtin.next.stderr
…
non-lifetime-via-dyn-builtin.rs
…
normalize-conflicting-impls.rs
…
normalize-conflicting-impls.stderr
…
normalize-supertrait.rs
…
not-suggest-non-existing-fully-qualified-path.rs
…
not-suggest-non-existing-fully-qualified-path.stderr
…
object-does-not-impl-trait.rs
…
object-does-not-impl-trait.stderr
…
object-one-type-two-traits.rs
…
objects-owned-object-borrowed-method-headerless.rs
…
on_unimplemented_long_types.rs
normalize long-type.txt in tests
2025-01-30 17:10:19 +00:00
on_unimplemented_long_types.stderr
normalize long-type.txt in tests
2025-01-30 17:10:19 +00:00
operator-overloading-issue-52025.rs
…
overflow-computing-ambiguity.rs
…
overflow-computing-ambiguity.stderr
…
overlap-not-permitted-for-builtin-trait.rs
…
overlap-not-permitted-for-builtin-trait.stderr
…
overlap-permitted-for-marker-traits.rs
…
param-without-lifetime-constraint.rs
…
param-without-lifetime-constraint.stderr
…
parameterized-with-bounds.rs
…
pointee-deduction.rs
…
pointee-normalize-equate.rs
…
pointee-tail-is-generic-errors.rs
…
pointee-tail-is-generic-errors.stderr
…
pointee-tail-is-generic.rs
…
pred-known-to-hold-modulo-regions-unsized-tail.rs
…
principal-less-objects.rs
…
privacy.rs
…
project-modulo-regions.rs
…
project-modulo-regions.with_clause.stderr
…
project-modulo-regions.without_clause.stderr
…
question-mark-result-err-mismatch.rs
…
question-mark-result-err-mismatch.stderr
…
region-pointer-simple.rs
…
resolution-in-overloaded-op.rs
…
resolution-in-overloaded-op.stderr
…
resolve-impl-before-constrain-check.rs
…
resolve-impl-before-constrain-check.stderr
…
safety-fn-body.rs
…
safety-fn-body.stderr
…
safety-inherent-impl.rs
…
safety-inherent-impl.stderr
…
safety-ok-cc.rs
…
safety-ok.rs
…
safety-trait-impl-cc.rs
…
safety-trait-impl-cc.stderr
…
safety-trait-impl.rs
…
safety-trait-impl.stderr
…
self-without-lifetime-constraint.rs
…
self-without-lifetime-constraint.stderr
…
span-bug-issue-121414.rs
…
span-bug-issue-121414.stderr
…
stack-error-order-dependence-2.rs
…
stack-error-order-dependence.rs
…
static-method-generic-inference.rs
…
static-method-generic-inference.stderr
…
static-method-overwriting.rs
…
static-outlives-a-where-clause.rs
…
staticness-mismatch.rs
…
staticness-mismatch.stderr
…
subtype-recursion-limit.rs
…
subtype-recursion-limit.stderr
…
suggest-fully-qualified-closure.rs
…
suggest-fully-qualified-closure.stderr
…
suggest-fully-qualified-path-with-adjustment.rs
…
suggest-fully-qualified-path-with-adjustment.stderr
…
suggest-fully-qualified-path-without-adjustment.rs
…
suggest-fully-qualified-path-without-adjustment.stderr
…
suggest-where-clause.rs
…
suggest-where-clause.stderr
…
superdefault-generics.rs
…
syntax-polarity.rs
…
syntax-trait-polarity.rs
…
syntax-trait-polarity.stderr
…
test-2.rs
…
test-2.stderr
Compiler: Finalize dyn compatibility renaming
2025-01-26 21:20:31 +01:00
test.rs
…
test.stderr
…
to-str.rs
…
track-obligations.rs
…
track-obligations.stderr
…
trait-object-lifetime-default-note.rs
best_blame_constraint: add a special case to recover object lifetime default notes
2025-01-06 16:12:04 -08:00
trait-object-lifetime-default-note.stderr
best_blame_constraint: add a special case to recover object lifetime default notes
2025-01-06 16:12:04 -08:00
trait-or-new-type-instead.rs
…
trait-or-new-type-instead.stderr
…
trait-selection-ice-84727.rs
…
trait-selection-ice-84727.stderr
…
trivial_impl2.rs
…
trivial_impl2.stderr
…
trivial_impl3.rs
…
trivial_impl3.stderr
…
trivial_impl4.rs
…
trivial_impl4.stderr
…
trivial_impl_sized.rs
…
trivial_impl_sized.stderr
…
trivial_impl.rs
…
trivial_impl.stderr
…
typeclasses-eq-example-static.rs
…
typeclasses-eq-example.rs
…
ufcs-object.rs
…
unconstrained-projection-normalization-2.current.stderr
Also in the new solver
2025-01-03 05:22:14 +00:00
unconstrained-projection-normalization-2.next.stderr
Also in the new solver
2025-01-03 05:22:14 +00:00
unconstrained-projection-normalization-2.rs
Also in the new solver
2025-01-03 05:22:14 +00:00
unconstrained-projection-normalization.current.stderr
Also in the new solver
2025-01-03 05:22:14 +00:00
unconstrained-projection-normalization.next.stderr
Also in the new solver
2025-01-03 05:22:14 +00:00
unconstrained-projection-normalization.rs
Also in the new solver
2025-01-03 05:22:14 +00:00
unsend-future.rs
…
unsend-future.stderr
…
unspecified-self-in-trait-ref.rs
…
unspecified-self-in-trait-ref.stderr
Properly report error when object type param default references self
2025-01-24 04:07:10 +00:00
upcast_reorder.rs
…
upcast_soundness_bug.rs
…
upcast_soundness_bug.stderr
…
use-before-def.rs
…
vtable-res-trait-param.rs
…
vtable-res-trait-param.stderr
…
well-formed-recursion-limit.rs
…
well-formed-recursion-limit.stderr
…
where-clause-vs-impl.rs
…
with-bounds-default.rs
…
with-dst.rs
…
wrong-mul-method-signature.rs
…
wrong-mul-method-signature.stderr
…