bors 88d69b72b4 Auto merge of #119099 - fmease:always-const-trait-bounds, r=fee1-dead ...

Introduce `const Trait` (always-const trait bounds)

Feature `const_trait_impl` currently lacks a way to express “always const” trait bounds. This makes it impossible to define generic items like fns or structs which contain types that depend on const method calls (\*). While the final design and esp. the syntax of effects / keyword generics isn't set in stone, some version of “always const” trait bounds will very likely form a part of it. Further, their implementation is trivial thanks to the `effects` backbone.

Not sure if this needs t-lang sign-off though.

(\*):

```rs
#![feature(const_trait_impl, effects, generic_const_exprs)]

fn compute<T: const Trait>() -> Type<{ T::generate() }> { /*…*/ }

struct Store<T: const Trait>
where
    Type<{ T::generate() }>:,
{
    field: Type<{ T::generate() }>,
}
```

Lastly, “always const” trait bounds are a perfect fit for `generic_const_items`.

```rs
#![feature(const_trait_impl, effects, generic_const_items)]

const DEFAULT<T: const Default>: T = T::default();
```

Previously, we (oli, fee1-dead and I) wanted to reinterpret `~const Trait` as `const Trait` in generic const items which would've been quite surprising and not very generalizable.
Supersedes #117530.

---

cc `@oli-obk`

As discussed
r? fee1-dead (or compiler)

2023-12-27 19:24:31 +00:00

..

auxiliary

bless ui tests

2023-12-19 04:28:21 +00:00

const_constructor

…

const_in_pattern

fix ICE when using raw ptr in a pattern

2023-12-24 11:10:38 +01:00

const-blocks

Show number in error message even for one error

2023-11-24 19:15:52 +01:00

const-eval

also test projecting to some sized fields at non-zero offset in structs with an extern type tail

2023-12-12 17:19:19 +01:00

const-extern-fn

Show number in error message even for one error

2023-11-24 19:15:52 +01:00

const-mut-refs

Show number in error message even for one error

2023-11-24 19:15:52 +01:00

control-flow

Show number in error message even for one error

2023-11-24 19:15:52 +01:00

extra-const-ub

Stabilize [const_]pointer_byte_offsets

2023-10-25 22:35:12 +00:00

min_const_fn

Show number in error message even for one error

2023-11-24 19:15:52 +01:00

miri_unleashed

also print 'immutable' flag

2023-12-07 17:46:36 +01:00

std

make const tests independent of std debug assertions

2023-11-27 09:15:40 +01:00

array-literal-index-oob.rs

…

array-literal-index-oob.stderr

…

array-literal-len-mismatch.rs

…

array-literal-len-mismatch.stderr

Show number in error message even for one error

2023-11-24 19:15:52 +01:00

array-to-slice-cast.rs

…

assert-type-intrinsics.rs

Stabilize const_mem_zeroed

2023-11-04 15:27:29 -04:00

assert-type-intrinsics.stderr

Stabilize const_mem_zeroed

2023-11-04 15:27:29 -04:00

assoc_const_generic_impl.rs

Adjust UI tests for unit_bindings

2023-06-12 20:24:48 +08:00

assoc_const_generic_impl.stderr

Show number in error message even for one error

2023-11-24 19:15:52 +01:00

assoc-const-elided-lifetime.rs

Warn on elided lifetimes in associated constants

2023-08-20 00:21:47 +00:00

assoc-const-elided-lifetime.stderr

Warn on elided lifetimes in associated constants

2023-08-20 00:21:47 +00:00

assoc-const.rs

…

associated_const_generic.rs

…

async-block.rs

…

async-block.with_feature.stderr

Show number in error message even for one error

2023-11-24 19:15:52 +01:00

async-block.without_feature.stderr

…

bswap-const.rs

…

cast-discriminant-zst-enum.rs

…

chained-constants-stackoverflow.rs

…

check_const-feature-gated.rs

…

closure-in-foreign-crate.rs

…

closure-structural-match-issue-90013.rs

…

const_cmp_type_id.rs

bless ui tests

2023-12-19 04:28:21 +00:00

const_cmp_type_id.stderr

bless ui tests

2023-12-19 04:28:21 +00:00

const_discriminant.rs

Const stabilize mem::discriminant

2023-09-28 11:07:06 -07:00

const_fn_floating_point_arithmetic.gated.stderr

Show number in error message even for one error

2023-11-24 19:15:52 +01:00

const_fn_floating_point_arithmetic.rs

…

const_fn_floating_point_arithmetic.stock.stderr

…

const_fn_return_nested_fn_ptr.rs

…

const_fn_unsize.rs

…

const_forget.rs

Rename forget_copy lint to forgetting_copy_types

2023-05-21 14:09:03 +02:00

const_let_assign2.rs

…

const_let_assign3.rs

…

const_let_assign3.stderr

Do not set up wrong span for adjustments

2023-07-10 20:09:26 +00:00

const_let_assign.rs

…

const_let_eq_float.rs

…

const_let_eq.rs

…

const_let_irrefutable.rs

…

const_let_promote.rs

…

const_let_refutable.rs

…

const_let_refutable.stderr

Show number in error message even for one error

2023-11-24 19:15:52 +01:00

const_prop_slice_pat_ice.rs

…

const_short_circuit.rs

…

const_unsafe_unreachable_ub.rs

…

const_unsafe_unreachable_ub.stderr

Show number in error message even for one error

2023-11-24 19:15:52 +01:00

const_unsafe_unreachable.rs

…

const-address-of-interior-mut.rs

…

const-address-of-interior-mut.stderr

…

const-address-of-mut.rs

…

const-address-of-mut.stderr

…

const-address-of.rs

…

const-adt-align-mismatch.rs

Fix misuses of a vs an

2023-10-04 08:01:11 +08:00

const-array-oob-arith.rs

…

const-array-oob-arith.stderr

…

const-array-oob.rs

…

const-array-oob.stderr

Show number in error message even for one error

2023-11-24 19:15:52 +01:00

const-as-fn.rs

…

const-as-fn.stderr

Show number in error message even for one error

2023-11-24 19:15:52 +01:00

const-assert-unchecked-ub.rs

Add hint::assert_unchecked

2023-12-19 13:56:50 -08:00

const-assert-unchecked-ub.stderr

Add hint::assert_unchecked

2023-12-19 13:56:50 -08:00

const-autoderef.rs

…

const-big-enum.rs

…

const-binops.rs

…

const-bitshift-rhs-inference.rs

…

const-block-const-bound.rs

update tests, adding known-bug

2023-07-27 15:51:02 +00:00

const-block-const-bound.stderr

Show number in error message even for one error

2023-11-24 19:15:52 +01:00

const-block-cross-crate-fn.rs

…

const-block-item-macro-codegen.rs

…

const-block-item.rs

…

const-block-non-item-statement-3.rs

…

const-block-non-item-statement-rpass.rs

…

const-block-non-item-statement.rs

…

const-block.rs

remove redundant imports

2023-12-10 10:56:22 +08:00

const-bound.rs

…

const-byte-str-cast.rs

…

const-call.rs

…

const-call.stderr

Show number in error message even for one error

2023-11-24 19:15:52 +01:00

const-cast-different-types.rs

…

const-cast-different-types.stderr

…

const-cast-ptr-int.rs

…

const-cast-wrong-type.rs

…

const-cast-wrong-type.stderr

Show number in error message even for one error

2023-11-24 19:15:52 +01:00

const-cast.rs

…

const-compare-bytes-ub.rs

Add a new compare_bytes intrinsic instead of calling memcmp directly

2023-08-06 15:47:40 -07:00

const-compare-bytes-ub.stderr

Normalize alloc-id in tests.

2023-10-16 16:29:35 +00:00

const-compare-bytes.rs

Add a new compare_bytes intrinsic instead of calling memcmp directly

2023-08-06 15:47:40 -07:00

const-const.rs

…

const-contents.rs

…

const-deref-ptr.rs

place evaluation: require the original pointer to be aligned if an access happens

2023-10-15 18:13:31 +02:00

const-deref-ptr.stderr

Show number in error message even for one error

2023-11-24 19:15:52 +01:00

const-deref.rs

…

const-endianess.rs

…

const-enum-byref-self.rs

…

const-enum-byref.rs

…

const-enum-cast.rs

…

const-enum-ptr.rs

…

const-enum-struct2.rs

…

const-enum-struct.rs

…

const-enum-structlike.rs

…

const-enum-tuple2.rs

…

const-enum-tuple.rs

…

const-enum-tuplestruct2.rs

…

const-enum-tuplestruct.rs

…

const-enum-vec-index.rs

…

const-enum-vec-ptr.rs

…

const-enum-vector.rs

…

const-err2.noopt.stderr

…

const-err2.opt_with_overflow_checks.stderr

…

const-err2.opt.stderr

…

const-err2.rs

…

const-err4.32bit.stderr

Manual find replace updates

2023-11-24 21:04:51 +01:00

const-err4.64bit.stderr

Show number in error message even for one error

2023-11-24 19:15:52 +01:00

const-err4.rs

…

const-err-early.rs

…

const-err-early.stderr

…

const-err-late.rs

…

const-err-late.stderr

Add a note to duplicate diagnostics

2023-10-05 01:04:41 +00:00

const-err-multi.rs

…

const-err-multi.stderr

Show number in error message even for one error

2023-11-24 19:15:52 +01:00

const-err-rpass.rs

…

const-expr-addr-operator.rs

…

const-expr-in-fixed-length-vec.rs

…

const-expr-in-vec-repeat.rs

…

const-extern-function.rs

…

const-external-macro-const-err.rs

…

const-external-macro-const-err.stderr

Show number in error message even for one error

2023-11-24 19:15:52 +01:00

const-fields-and-indexing.rs

…

const-float-bits-conv.rs

…

const-float-bits-reject-conv.rs

…

const-float-bits-reject-conv.stderr

don't point at const usage site for resolution-time errors

2023-09-14 22:34:05 +02:00

const-float-classify.rs

bless ui tests

2023-12-19 04:28:21 +00:00

const-fn-const-eval.rs

…

const-fn-destructuring-arg.rs

…

const-fn-error.rs

…

const-fn-error.stderr

…

const-fn-in-vec.rs

Improve diagnostic for const ctors in array repeat expressions

2023-07-24 20:28:35 +00:00

const-fn-in-vec.stderr

Improve diagnostic for const ctors in array repeat expressions

2023-07-24 20:28:35 +00:00

const-fn-method.rs

…

const-fn-mismatch.rs

…

const-fn-mismatch.stderr

Show number in error message even for one error

2023-11-24 19:15:52 +01:00

const-fn-nested.rs

…

const-fn-not-in-trait.rs

…

const-fn-not-in-trait.stderr

…

const-fn-not-safe-for-const.rs

…

const-fn-not-safe-for-const.stderr

…

const-fn-ptr.rs

…

const-fn-ptr.stderr

…

const-fn-stability-calls-3.rs

…

const-fn-stability-calls.rs

…

const-fn-type-name-any.rs

…

const-fn-type-name.rs

…

const-fn-val.rs

…

const-fn-zst-args.rs

…

const-fn.rs

…

const-for-feature-gate.rs

…

const-for-feature-gate.stderr

Show number in error message even for one error

2023-11-24 19:15:52 +01:00

const-for.rs

…

const-for.stderr

…

const-index-feature-gate.rs

…

const-int-arithmetic-overflow.rs

…

const-int-arithmetic.rs

…

const-int-conversion-rpass.rs

…

const-int-conversion.rs

…

const-int-conversion.stderr

…

const-int-overflowing-rpass.rs

…

const-int-overflowing.rs

…

const-int-overflowing.stderr

…

const-int-pow-rpass.rs

…

const-int-rotate-rpass.rs

…

const-int-rotate.rs

…

const-int-rotate.stderr

…

const-int-saturating-arith.rs

…

const-int-sign-rpass.rs

…

const-int-sign.rs

…

const-int-sign.stderr

…

const-int-unchecked.rs

…

const-int-unchecked.stderr

interpret: simplify handling of shifts by no longer trying to handle signed and unsigned shift amounts in the same branch

2023-11-12 12:49:46 +01:00

const-int-wrapping-rpass.rs

…

const-int-wrapping.rs

…

const-int-wrapping.stderr

…

const-integer-bool-ops.rs

Suppress "erroneous constant used" for constants tainted by errors

2023-05-15 00:00:00 +00:00

const-integer-bool-ops.stderr

Suppress "erroneous constant used" for constants tainted by errors

2023-05-15 00:00:00 +00:00

const-labeled-break.rs

…

const-len-underflow-separate-spans.next.stderr

Show number in error message even for one error

2023-11-24 19:15:52 +01:00

const-len-underflow-separate-spans.old.stderr

Show number in error message even for one error

2023-11-24 19:15:52 +01:00

const-len-underflow-separate-spans.rs

update use of feature flags

2023-12-14 15:22:37 +01:00

const-len-underflow-subspans.rs

…

const-len-underflow-subspans.stderr

Show number in error message even for one error

2023-11-24 19:15:52 +01:00

const-match-check.eval1.stderr

Show number in error message even for one error

2023-11-24 19:15:52 +01:00

const-match-check.eval2.stderr

Show number in error message even for one error

2023-11-24 19:15:52 +01:00

const-match-check.matchck.stderr

…

const-match-check.rs

…

const-match-pattern-arm.rs

…

const-meth-pattern.rs

…

const-multi-ref.rs

…

const-multi-ref.stderr

…

const-needs_drop-monomorphic.rs

…

const-needs_drop-monomorphic.stderr

…

const-needs_drop.rs

…

const-negation.rs

…

const-negative.rs

…

const-nullary-enum.rs

…

const-nullary-univariant-enum.rs

…

const-pattern-irrefutable.rs

…

const-pattern-irrefutable.stderr

…

const-pattern-not-const-evaluable.rs

…

const-pattern-variant.rs

…

const-points-to-static.32bit.stderr

also print 'immutable' flag

2023-12-07 17:46:36 +01:00

const-points-to-static.64bit.stderr

also print 'immutable' flag

2023-12-07 17:46:36 +01:00

const-points-to-static.rs

…

const-ptr-nonnull-rpass.rs

…

const-ptr-nonnull.rs

…

const-ptr-nonnull.stderr

…

const-ptr-unique-rpass.rs

…

const-ptr-unique.rs

…

const-ptr-unique.stderr

Show number in error message even for one error

2023-11-24 19:15:52 +01:00

const-rec-and-tup.rs

…

const-region-ptrs-noncopy.rs

…

const-region-ptrs.rs

…

const-repeated-values.rs

…

const-size_of_val-align_of_val-extern-type.rs

…

const-size_of_val-align_of_val-extern-type.stderr

…

const-size_of_val-align_of_val.rs

…

const-size_of-align_of.rs

…

const-size_of-cycle.rs

…

const-size_of-cycle.stderr

Show number in error message even for one error

2023-11-24 19:15:52 +01:00

const-slice-oob.rs

…

const-slice-oob.stderr

Show number in error message even for one error

2023-11-24 19:15:52 +01:00

const-struct-offsets.rs

…

const-struct.rs

…

const-suggest-feature.rs

…

const-suggest-feature.stderr

Show number in error message even for one error

2023-11-24 19:15:52 +01:00

const-trait-to-trait.rs

…

const-try-feature-gate.rs

…

const-try-feature-gate.stderr

Show number in error message even for one error

2023-11-24 19:15:52 +01:00

const-try.rs

…

const-try.stderr

bless ui tests

2023-12-19 04:28:21 +00:00

const-tup-index-span.rs

Suppress "erroneous constant used" for constants tainted by errors

2023-05-15 00:00:00 +00:00

const-tup-index-span.stderr

Show number in error message even for one error

2023-11-24 19:15:52 +01:00

const-tuple-struct.rs

…

const-type-mismatch.rs

…

const-type-mismatch.stderr

…

const-typeid-of-rpass.rs

…

const-unit-struct.rs

…

const-unsafe-fn.rs

…

const-unsized.rs

Work around the fact that check_mod_type_wf may spuriously return ErrorGuaranteed, even if that error is only emitted by check_modwitem_types

2023-10-25 12:04:54 +00:00

const-unsized.stderr

Work around the fact that check_mod_type_wf may spuriously return ErrorGuaranteed, even if that error is only emitted by check_modwitem_types

2023-10-25 12:04:54 +00:00

const-unwrap.rs

…

const-unwrap.stderr

Show number in error message even for one error

2023-11-24 19:15:52 +01:00

const-validation-fail-55455.rs

…

const-variant-count.rs

…

const-vec-of-fns.rs

…

const-vec-syntax.rs

…

const-vecs-and-slices.rs

…

const.rs

…

constifconst-call-in-const-position.rs

…

constifconst-call-in-const-position.stderr

bless ui tests

2023-12-19 04:28:21 +00:00

consts-in-patterns.rs

…

copy-intrinsic.rs

…

copy-intrinsic.stderr

Normalize alloc-id in tests.

2023-10-16 16:29:35 +00:00

ct-var-in-collect_all_mismatches.rs

…

ct-var-in-collect_all_mismatches.stderr

Show number in error message even for one error

2023-11-24 19:15:52 +01:00

dangling_raw_ptr.rs

…

dangling_raw_ptr.stderr

Show number in error message even for one error

2023-11-24 19:15:52 +01:00

dangling-alloc-id-ice.rs

…

dangling-alloc-id-ice.stderr

Show number in error message even for one error

2023-11-24 19:15:52 +01:00

deref_in_pattern.rs

…

drop_box.rs

…

drop_box.stderr

Show number in error message even for one error

2023-11-24 19:15:52 +01:00

drop_none.rs

…

drop_zst.rs

…

drop_zst.stderr

Show number in error message even for one error

2023-11-24 19:15:52 +01:00

drop-maybe_uninit.rs

Don't require Drop for [PhantomData<T>; N] where N and T are generic, if T requires Drop

2023-09-07 18:31:17 +00:00

effect_param.rs

Reenable effects in libcore

2023-11-12 04:33:19 +00:00

effect_param.stderr

Reenable effects in libcore

2023-11-12 04:33:19 +00:00

enum-discr-type-err.rs

…

enum-discr-type-err.stderr

Add a note to duplicate diagnostics

2023-10-05 01:04:41 +00:00

escaping-bound-var.rs

Correctly deny late-bound lifetimes from parent in anon consts and TAITs

2023-09-05 20:20:55 +00:00

escaping-bound-var.stderr

Show number in error message even for one error

2023-11-24 19:15:52 +01:00

eval-enum.rs

…

eval-enum.stderr

…

fn_trait_refs.rs

…

fn_trait_refs.stderr

Introduce const Trait (always-const trait bounds)

2023-12-27 12:51:32 +01:00

gate-do-not-const-check.rs

…

gate-do-not-const-check.stderr

Show number in error message even for one error

2023-11-24 19:15:52 +01:00

huge-values.rs

…

ice-48279.rs

…

ice-zst-static-access.rs

…

inline_asm.rs

…

inline_asm.stderr

Show number in error message even for one error

2023-11-24 19:15:52 +01:00

int_ptr_for_zst_slices.rs

…

intrinsic_without_const_stab_fail.rs

…

intrinsic_without_const_stab_fail.stderr

Show number in error message even for one error

2023-11-24 19:15:52 +01:00

intrinsic_without_const_stab.rs

…

intrinsic_without_const_stab.stderr

Show number in error message even for one error

2023-11-24 19:15:52 +01:00

invalid_promotion.rs

…

invalid-const-in-body.rs

…

invalid-const-in-body.stderr

Show number in error message even for one error

2023-11-24 19:15:52 +01:00

invalid-inline-const-in-match-arm.rs

update tests, adding known-bug

2023-07-27 15:51:02 +00:00

invalid-inline-const-in-match-arm.stderr

Show number in error message even for one error

2023-11-24 19:15:52 +01:00

invalid-union.32bit.stderr

compile-time evaluation: emit a lint when a write through an immutable pointer occurs

2023-12-07 17:46:36 +01:00

invalid-union.64bit.stderr

compile-time evaluation: emit a lint when a write through an immutable pointer occurs

2023-12-07 17:46:36 +01:00

invalid-union.rs

compile-time evaluation: emit a lint when a write through an immutable pointer occurs

2023-12-07 17:46:36 +01:00

issue-3521.fixed

…

issue-3521.rs

…

issue-3521.stderr

Show number in error message even for one error

2023-11-24 19:15:52 +01:00

issue-6991.rs

…

issue-13837.rs

…

issue-13902.rs

…

issue-16538.mir.stderr

Move tests

2023-05-24 19:35:59 -03:00

issue-16538.rs

Move tests

2023-05-24 19:35:59 -03:00

issue-16538.thir.stderr

Move tests

2023-05-24 19:35:59 -03:00

issue-17074.rs

…

issue-17458.rs

…

issue-17458.stderr

Show number in error message even for one error

2023-11-24 19:15:52 +01:00

issue-17718-borrow-interior.rs

…

issue-17718-const-bad-values.rs

…

issue-17718-const-bad-values.stderr

Add a note to duplicate diagnostics

2023-10-05 01:04:41 +00:00

issue-17718-const-borrow.rs

…

issue-17718-const-borrow.stderr

…

issue-17718-constants-not-static.rs

…

issue-17718-constants-not-static.stderr

Show number in error message even for one error

2023-11-24 19:15:52 +01:00

issue-17718-references.rs

…

issue-17718-references.stderr

…

issue-17718.rs

…

issue-17756.rs

…

issue-18294.rs

…

issue-18294.stderr

Show number in error message even for one error

2023-11-24 19:15:52 +01:00

issue-19244.rs

…

issue-21562.rs

…

issue-21721.rs

…

issue-23833.rs

…

issue-23968-const-not-overflow.rs

…

issue-25826.rs

…

issue-25826.stderr

Show number in error message even for one error

2023-11-24 19:15:52 +01:00

issue-27890.rs

…

issue-28113.rs

update tests, adding known-bug

2023-07-27 15:51:02 +00:00

issue-28113.stderr

Show number in error message even for one error

2023-11-24 19:15:52 +01:00

issue-28822.rs

Move tests

2023-05-24 19:35:59 -03:00

issue-29798.rs

Address comments

2023-05-24 19:54:13 -03:00

issue-29914-2.rs

…

issue-29914-3.rs

…

issue-29914.rs

…

issue-29927-1.rs

…

issue-29927.rs

…

issue-32829-2.rs

…

issue-32829-2.stderr

…

issue-32829.rs

…

issue-32829.stderr

Show number in error message even for one error

2023-11-24 19:15:52 +01:00

issue-33537.rs

…

issue-33903.rs

…

issue-36163.rs

…

issue-36163.stderr

Show number in error message even for one error

2023-11-24 19:15:52 +01:00

issue-37222.rs

…

issue-37550-1.rs

…

issue-37550.rs

…

issue-37991.rs

…

issue-39161-bogus-error.rs

…

issue-39974.rs

Avoid a track_errors by bubbling up most errors from check_well_formed

2023-10-20 08:46:27 +00:00

issue-39974.stderr

Avoid a track_errors by bubbling up most errors from check_well_formed

2023-10-20 08:46:27 +00:00

issue-43105.rs

…

issue-43105.stderr

…

issue-44415.rs

…

issue-44415.stderr

Show number in error message even for one error

2023-11-24 19:15:52 +01:00

issue-46553.rs

…

issue-47789.rs

…

issue-50439.rs

check array type of repeat exprs is wf

2023-05-04 11:22:40 +01:00

issue-50439.stderr

check array type of repeat exprs is wf

2023-05-04 11:22:40 +01:00

issue-52023-array-size-pointer-cast.rs

…

issue-52023-array-size-pointer-cast.stderr

Show number in error message even for one error

2023-11-24 19:15:52 +01:00

issue-52060.rs

…

issue-52060.stderr

Show number in error message even for one error

2023-11-24 19:15:52 +01:00

issue-54224.rs

…

issue-54224.stderr

…

issue-54348.rs

…

issue-54348.stderr

…

issue-54387.rs

…

issue-54582.rs

…

issue-54954.rs

Suppress "erroneous constant used" for constants tainted by errors

2023-05-15 00:00:00 +00:00

issue-54954.stderr

Suppress "erroneous constant used" for constants tainted by errors

2023-05-15 00:00:00 +00:00

issue-56164.rs

update tests, adding known-bug

2023-07-27 15:51:02 +00:00

issue-56164.stderr

update tests, adding known-bug

2023-07-27 15:51:02 +00:00

issue-58435-ice-with-assoc-const.rs

…

issue-62045.rs

…

issue-63226.rs

…

issue-63952.32bit.stderr

also print 'immutable' flag

2023-12-07 17:46:36 +01:00

issue-63952.64bit.stderr

also print 'immutable' flag

2023-12-07 17:46:36 +01:00

issue-63952.rs

…

issue-64059.rs

…

issue-64506.rs

…

issue-64506.stderr

Show number in error message even for one error

2023-11-24 19:15:52 +01:00

issue-64662.rs

…

issue-64662.stderr

…

issue-65348.rs

…

issue-66342.rs

…

issue-66345.rs

…

issue-66397.rs

…

issue-66693-panic-in-array-len.rs

…

issue-66693-panic-in-array-len.stderr

…

issue-66693.rs

…

issue-66693.stderr

Suppress "erroneous constant used" for constants tainted by errors

2023-05-15 00:00:00 +00:00

issue-66787.rs

…

issue-67529.rs

…

issue-67640.rs

…

issue-67641.rs

…

issue-67696-const-prop-ice.rs

Do not run optimizations on trivial MIR.

2023-10-08 12:09:06 +00:00

issue-67862.rs

…

issue-68264-overflow.rs

…

issue-68542-closure-in-array-len.rs

update tests, adding known-bug

2023-07-27 15:51:02 +00:00

issue-68542-closure-in-array-len.stderr

Show number in error message even for one error

2023-11-24 19:15:52 +01:00

issue-68684.rs

…

issue-69191-ice-on-uninhabited-enum-field.rs

…

issue-69310-array-size-lit-wrong-ty.rs

…

issue-69310-array-size-lit-wrong-ty.stderr

…

issue-69312.rs

…

issue-69488.rs

…

issue-69532.rs

…

issue-70773-mir-typeck-lt-norm.rs

…

issue-70942-trait-vs-impl-mismatch.rs

…

issue-70942-trait-vs-impl-mismatch.stderr

Show number in error message even for one error

2023-11-24 19:15:52 +01:00

issue-73976-monomorphic.rs

…

issue-73976-monomorphic.stderr

bless ui tests

2023-12-19 04:28:21 +00:00

issue-73976-polymorphic.rs

…

issue-73976-polymorphic.stderr

…

issue-76064.rs

…

issue-76064.stderr

Show number in error message even for one error

2023-11-24 19:15:52 +01:00

issue-77062-large-zst-array.rs

…

issue-78655.rs

…

issue-78655.stderr

…

issue-79137-monomorphic.rs

…

issue-79137-toogeneric.rs

…

issue-79137-toogeneric.stderr

Show number in error message even for one error

2023-11-24 19:15:52 +01:00

issue-79152-const-array-index.rs

…

issue-79690.64bit.stderr

also print 'immutable' flag

2023-12-07 17:46:36 +01:00

issue-79690.rs

…

issue-87046.rs

…

issue-87046.stderr

Show number in error message even for one error

2023-11-24 19:15:52 +01:00

issue-88071.rs

…

issue-88649.rs

…

issue-89088.rs

…

issue-90762.rs

…

issue-90870.fixed

…

issue-90870.rs

…

issue-90870.stderr

…

issue-90878-2.rs

Improve an error involving attribute values.

2023-12-12 15:54:25 +11:00

issue-90878-2.stderr

Improve an error involving attribute values.

2023-12-12 15:54:25 +11:00

issue-90878-3.rs

…

issue-90878-3.stderr

Show number in error message even for one error

2023-11-24 19:15:52 +01:00

issue-90878.rs

…

issue-90878.stderr

Show number in error message even for one error

2023-11-24 19:15:52 +01:00

issue-91434.rs

…

issue-91434.stderr

…

issue-91560.fixed

…

issue-91560.rs

…

issue-91560.stderr

…

issue-94371.rs

…

issue-94675.rs

update tests, adding known-bug

2023-07-27 15:51:02 +00:00

issue-94675.stderr

bless ui tests

2023-12-19 04:28:21 +00:00

issue-96169.rs

…

issue-102117.rs

…

issue-102117.stderr

remove trailing dots

2023-10-08 10:06:17 +00:00

issue-103790.rs

…

issue-103790.stderr

moved note as unspanned note, moved note to the bottom of the msg

2023-07-18 21:53:34 -04:00

issue-104155.rs

Rename forget_copy lint to forgetting_copy_types

2023-05-21 14:09:03 +02:00

issue-104396.rs

…

issue-104396.stderr

…

issue-104609.rs

…

issue-104609.stderr

Show number in error message even for one error

2023-11-24 19:15:52 +01:00

issue-104768.rs

…

issue-104768.stderr

Show number in error message even for one error

2023-11-24 19:15:52 +01:00

issue-105536-const-val-roundtrip-ptr-eq.rs

add regression test for something we fixed

2023-09-14 11:56:55 +02:00

issue-116186.rs

return unfixed len if pat has reported error

2023-10-23 22:14:39 +08:00

issue-116186.stderr

return unfixed len if pat has reported error

2023-10-23 22:14:39 +08:00

issue-broken-mir.rs

…

issue-miri-1910.rs

Stabilize const_ptr_read

2023-05-05 20:36:21 +02:00

issue-miri-1910.stderr

Update std::simd usage and test outputs

2023-11-26 09:02:25 -05:00

large_const_alloc.rs

Adjust UI tests for unit_bindings

2023-06-12 20:24:48 +08:00

large_const_alloc.stderr

…

locals-in-const-fn.rs

…

match_ice.rs

Avoid emitting the non_exhaustive error if other errors already occurred

2023-10-11 12:49:57 +00:00

match_ice.stderr

Show number in error message even for one error

2023-11-24 19:15:52 +01:00

match-const-fn-structs.rs

…

mir_check_nonconst.rs

…

mir_check_nonconst.stderr

Show number in error message even for one error

2023-11-24 19:15:52 +01:00

missing_span_in_backtrace.rs

Normalize alloc-id in tests.

2023-10-16 16:29:35 +00:00

missing_span_in_backtrace.stderr

Update std::simd usage and test outputs

2023-11-26 09:02:25 -05:00

missing-larger-array-impl.rs

use Const::eval instead of QueryNormalize in error reporting

2023-06-24 18:04:14 +00:00

missing-larger-array-impl.stderr

Show number in error message even for one error

2023-11-24 19:15:52 +01:00

mozjs-error.rs

…

nested_erroneous_ctfe.rs

…

nested_erroneous_ctfe.stderr

Show number in error message even for one error

2023-11-24 19:15:52 +01:00

non-const-value-in-const.rs

…

non-const-value-in-const.stderr

…

non-scalar-cast.rs

…

non-sync-references-in-const.rs

add known-bug test for unsound issue 49206

2023-04-22 00:47:07 -04:00

offset_from_ub.rs

…

offset_from_ub.stderr

Update std::simd usage and test outputs

2023-11-26 09:02:25 -05:00

offset_from.rs

…

offset_ub.rs

Normalize alloc-id in tests.

2023-10-16 16:29:35 +00:00

offset_ub.stderr

Update std::simd usage and test outputs

2023-11-26 09:02:25 -05:00

offset.rs

…

packed_pattern2.rs

…

packed_pattern2.stderr

…

packed_pattern.rs

…

packed_pattern.stderr

…

partial_qualif.rs

…

partial_qualif.stderr

Show number in error message even for one error

2023-11-24 19:15:52 +01:00

precise-drop-with-coverage.rs

…

precise-drop-with-promoted.rs

Fix const drop checking

2023-12-07 16:28:33 +00:00

promote_borrowed_field.rs

…

promote_const_let.rs

…

promote_const_let.stderr

…

promote_evaluation_unused_result.rs

…

promote_fn_calls_std.rs

…

promote_fn_calls.rs

…

promote-not.rs

…

promote-not.stderr

…

promoted_const_call2.rs

…

promoted_const_call2.stderr

…

promoted_const_call3.rs

…

promoted_const_call3.stderr

…

promoted_const_call4.rs

…

promoted_const_call5.rs

…

promoted_const_call5.stderr

…

promoted_const_call.rs

update tests, adding known-bug

2023-07-27 15:51:02 +00:00

promoted_const_call.stderr

update tests, adding known-bug

2023-07-27 15:51:02 +00:00

promoted_regression.rs

…

promoted-const-drop.rs

…

promoted-const-drop.stderr

…

promoted-storage.rs

…

promoted-validation-55454.rs

…

promotion-mutable-ref.rs

…

promotion.rs

…

ptr_comparisons.rs

fix and extend ptr_comparison test

2023-08-01 18:23:37 +02:00

ptr_is_null.rs

Also lint on cast/cast_mut and ptr::from_mut/ptr::from_ref

2023-08-03 10:52:15 +02:00

qualif_overwrite_2.rs

…

qualif_overwrite_2.stderr

Show number in error message even for one error

2023-11-24 19:15:52 +01:00

qualif_overwrite.rs

…

qualif_overwrite.stderr

Show number in error message even for one error

2023-11-24 19:15:52 +01:00

qualif-indirect-mutation-fail.rs

…

qualif-indirect-mutation-fail.stderr

…

qualif-indirect-mutation-pass.rs

…

qualif-union.rs

…

qualif-union.stderr

…

raw_pointer_promoted.rs

…

raw-ptr-const.rs

Rename HandlerInner::delay_span_bug as HandlerInner::span_delayed_bug.

2023-12-02 09:01:19 +11:00

raw-ptr-const.stderr

Show number in error message even for one error

2023-11-24 19:15:52 +01:00

recursive-zst-static.default.stderr

Show number in error message even for one error

2023-11-24 19:15:52 +01:00

recursive-zst-static.rs

…

recursive-zst-static.unleash.stderr

Show number in error message even for one error

2023-11-24 19:15:52 +01:00

recursive.rs

…

recursive.stderr

Show number in error message even for one error

2023-11-24 19:15:52 +01:00

references.rs

…

refs_check_const_eq-issue-88384.rs

Implement custom diagnostic for ConstParamTy

2023-06-01 18:21:42 +00:00

refs_check_const_eq-issue-88384.stderr

Implement custom diagnostic for ConstParamTy

2023-06-01 18:21:42 +00:00

refs_check_const_value_eq-issue-88876.rs

…

repeat_match.rs

…

return-in-const-fn.rs

…

rustc-const-stability-require-const.rs

…

rustc-const-stability-require-const.stderr

…

rustc-impl-const-stability.rs

bless tests

2023-08-06 13:34:53 +00:00

rustc-impl-const-stability.stderr

Fix ICE

2023-08-07 17:16:10 +00:00

rvalue-static-promotion.rs

…

self_normalization2.rs

…

self_normalization.rs

…

signed_enum_discr.rs

…

stable-precise-live-drops-in-libcore.rs

…

stable-precise-live-drops-in-libcore.stderr

Show number in error message even for one error

2023-11-24 19:15:52 +01:00

static_mut_containing_mut_ref2.mut_refs.stderr

Show number in error message even for one error

2023-11-24 19:15:52 +01:00

static_mut_containing_mut_ref2.rs

…

static_mut_containing_mut_ref2.stock.stderr

Show number in error message even for one error

2023-11-24 19:15:52 +01:00

static_mut_containing_mut_ref3.rs

…

static_mut_containing_mut_ref3.stderr

Show number in error message even for one error

2023-11-24 19:15:52 +01:00

static_mut_containing_mut_ref.rs

…

static-cycle-error.rs

…

static-raw-pointer-interning2.rs

…

static-raw-pointer-interning.rs

…

timeout.rs

Stop hiding const eval limit in external macros

2023-06-22 14:11:10 +00:00

timeout.stderr

Show number in error message even for one error

2023-11-24 19:15:52 +01:00

too_generic_eval_ice.rs

…

too_generic_eval_ice.stderr

Don't sort strings right after we just sorted by types

2023-06-27 23:31:06 +00:00

trait_specialization.rs

…

trait_specialization.stderr

…

transmute-const.rs

…

transmute-size-mismatch-before-typeck.rs

…

transmute-size-mismatch-before-typeck.stderr

Show number in error message even for one error

2023-11-24 19:15:52 +01:00

try-operator.rs

…

try-operator.stderr

Show number in error message even for one error

2023-11-24 19:15:52 +01:00

tuple-struct-constructors.rs

…

underscore_const_names.rs

…

uninhabited-const-issue-61744.rs

…

uninhabited-const-issue-61744.stderr

Show number in error message even for one error

2023-11-24 19:15:52 +01:00

union_constant.rs

…

unnormalized-param-env.rs

…

unstable-const-fn-in-libcore.rs

Enable effects for libcore

2023-09-20 03:02:14 +00:00

unstable-const-fn-in-libcore.stderr

Introduce const Trait (always-const trait bounds)

2023-12-27 12:51:32 +01:00

unstable-precise-live-drops-in-libcore.rs

…

unwind-abort.rs

…

validate_never_arrays.rs

…

validate_never_arrays.stderr

…

write_to_mut_ref_dest.rs

…

write_to_mut_ref_dest.stock.stderr

…

write_to_static_via_mut_ref.rs

…

write_to_static_via_mut_ref.stderr

…

write-to-static-mut-in-static.rs

…

write-to-static-mut-in-static.stderr

moved note as unspanned note, moved note to the bottom of the msg

2023-07-18 21:53:34 -04:00

zst_no_llvm_alloc.rs

…