Jubilee 0a1b9db65d Rollup merge of #135425 - compiler-errors:not-conditionally-const, r=RalfJung ...

Do not consider traits that have unsatisfied const conditions to be conditionally const

This will improve error messages as we continue to constify traits, since we don't want to start calling things "conditionally const" if they aren't implemented with a const impl anyways.

The only case that this affects today is `Deref` since that's one of the only constified traits in the standard library :)

r? RalfJung

2025-01-14 19:56:34 -08:00

..

auxiliary

…

elision

…

arbitrary_self_type_mut_difference.rs

…

arbitrary_self_type_mut_difference.stderr

…

arbitrary_self_types_by_value_reborrow.rs

…

arbitrary_self_types_generic_over_receiver.rs

…

arbitrary_self_types_generic_over_receiver.stderr

…

arbitrary_self_types_generic_receiver.rs

…

arbitrary_self_types_generic_receiver.stderr

…

arbitrary_self_types_lifetime_elision.rs

…

arbitrary_self_types_needing_box_or_arc_wrapping.fixed

…

arbitrary_self_types_needing_box_or_arc_wrapping.rs

…

arbitrary_self_types_needing_box_or_arc_wrapping.stderr

…

arbitrary_self_types_needing_mut_pin.fixed

…

arbitrary_self_types_needing_mut_pin.rs

…

arbitrary_self_types_needing_mut_pin.stderr

…

arbitrary_self_types_nested.rs

…

arbitrary_self_types_niche_deshadowing.rs

…

arbitrary_self_types_no_generics.rs

…

arbitrary_self_types_nonnull.rs

…

arbitrary_self_types_nonnull.stderr

…

arbitrary_self_types_not_allow_call_with_no_deref.rs

…

arbitrary_self_types_not_allow_call_with_no_deref.stderr

…

arbitrary_self_types_pin_getref.feature.stderr

…

arbitrary_self_types_pin_getref.rs

…

arbitrary_self_types_pin_lifetime_impl_trait-async.rs

…

arbitrary_self_types_pin_lifetime_impl_trait-async.stderr

…

arbitrary_self_types_pin_lifetime_impl_trait.rs

…

arbitrary_self_types_pin_lifetime_impl_trait.stderr

…

arbitrary_self_types_pin_lifetime_mismatch-async.rs

…

arbitrary_self_types_pin_lifetime_mismatch-async.stderr

…

arbitrary_self_types_pin_lifetime_mismatch.rs

…

arbitrary_self_types_pin_lifetime_mismatch.stderr

…

arbitrary_self_types_pin_lifetime-async.rs

…

arbitrary_self_types_pin_lifetime.rs

…

arbitrary_self_types_pin_needing_borrow.rs

…

arbitrary_self_types_pin_needing_borrow.stderr

…

arbitrary_self_types_pointers_and_wrappers.rs

…

arbitrary_self_types_raw_pointer_struct.rs

…

arbitrary_self_types_raw_pointer_trait.rs

…

arbitrary_self_types_recursive_receiver.rs

…

arbitrary_self_types_shadowing_val_constptr.rs

…

arbitrary_self_types_silly.rs

…

arbitrary_self_types_stdlib_pointers.rs

…

arbitrary_self_types_struct_receiver_trait.rs

…

arbitrary_self_types_struct.rs

…

arbitrary_self_types_trait_receiver_trait.rs

…

arbitrary_self_types_trait.rs

…

arbitrary_self_types_unshadowing_ptrs.rs

…

arbitrary_self_types_unshadowing_ptrs.stderr

…

arbitrary_self_types_unshadowing.rs

…

arbitrary_self_types_unshadowing.stderr

…

arbitrary_self_types_unsized_struct.rs

…

arbitrary_self_types_weak.rs

…

arbitrary_self_types_weak.stderr

…

arbitrary-self-from-method-substs-ice.rs

Do not consider traits that have unsatisfied const conditions to be conditionally const

2025-01-14 18:52:42 +00:00

arbitrary-self-from-method-substs-ice.stderr

Do not consider traits that have unsatisfied const conditions to be conditionally const

2025-01-14 18:52:42 +00:00

arbitrary-self-from-method-substs-with-receiver.rs

…

arbitrary-self-from-method-substs-with-receiver.stderr

…

arbitrary-self-from-method-substs.default.stderr

…

arbitrary-self-from-method-substs.feature.stderr

…

arbitrary-self-from-method-substs.rs

…

arbitrary-self-opaque.rs

…

arbitrary-self-opaque.stderr

…

arbitrary-self-types-dyn-incompatible.curr.stderr

…

arbitrary-self-types-dyn-incompatible.dyn_compatible_for_dispatch.stderr

…

arbitrary-self-types-dyn-incompatible.rs

…

builtin-superkinds-self-type.rs

…

by-value-self-in-mut-slot.rs

…

class-missing-self.rs

…

class-missing-self.stderr

…

conflicting_inner2.rs

…

conflicting_inner.rs

…

dispatch-from-dyn-zst-transmute-zst-nonzst.rs

…

dispatch-from-dyn-zst-transmute-zst-nonzst.stderr

…

dispatch-from-dyn-zst-transmute.rs

…

dispatch-from-dyn-zst-transmute.stderr

…

dyn-compatibility-sized-self-by-value-self.rs

…

dyn-compatibility-sized-self-generic-method.rs

…

dyn-compatibility-sized-self-return-Self.rs

…

explicit_self_xcrate_exe.rs

…

explicit-self-closures.rs

…

explicit-self-generic.rs

…

explicit-self-objects-uniq.rs

…

explicit-self.rs

…

issue-61882-2.rs

…

issue-61882-2.stderr

…

issue-61882.rs

…

issue-61882.stderr

…

move-self.rs

…

objects-owned-object-owned-method.rs

…

phantomdata-in-coerce-and-dispatch-impls.rs

Normalize field before checking PhantomData in coerce/dispatch impl validation

2025-01-14 18:47:23 +00:00

point-at-arbitrary-self-type-method.rs

…

point-at-arbitrary-self-type-method.stderr

…

point-at-arbitrary-self-type-trait-method.rs

…

point-at-arbitrary-self-type-trait-method.stderr

…

self_lifetime-async.rs

…

self_lifetime-async.stderr

…

self_lifetime.rs

…

self_lifetime.stderr

…

self_type_keyword-2.rs

…

self_type_keyword-2.stderr

…

self_type_keyword.rs

…

self_type_keyword.stderr

…

self-ctor-nongeneric.rs

…

self-ctor-nongeneric.stderr

…

self-ctor.rs

…

self-ctor.stderr

…

self-impl-2.rs

…

self-impl.rs

…

self-impl.stderr

…

self-in-mut-slot-default-method.rs

…

self-in-mut-slot-immediate-value.rs

…

self-in-typedefs.rs

…

self-infer.rs

…

self-infer.stderr

…

self-re-assign.rs

…

self-shadowing-import.rs

…

self-type-param.rs

…

self-vs-path-ambiguity.rs

…

self-vs-path-ambiguity.stderr

…

string-self-append.rs

…

suggest-self-2.rs

…

suggest-self-2.stderr

…

suggest-self.rs

…

suggest-self.stderr

…

ufcs-explicit-self.rs

…

uniq-self-in-mut-slot.rs

…

where-for-self.rs

…