about summary refs log tree commit diff
path: root/tests/ui/rfcs/rfc-2632-const-trait-impl/effects
AgeCommit message (Collapse)AuthorLines
2024-10-22Move testsMichael Goulet-1360/+0
2024-09-29fix(hir_analysis/wfcheck): don't leak {type error}Barrett Ray-3/+3
avoid `{type error}` being leaked in user-facing messages, particularly when using the `adt_const_params` feature
2024-09-15stabilize const_mut_refsRalf Jung-1/+1
2024-07-22Revert suggestion verbosity changeEsteban Küber-24/+12
2024-07-22Change suggestion message wordingEsteban Küber-4/+4
2024-07-22Use verbose suggestion for "wrong # of generics"Esteban Küber-12/+24
2024-07-14add_effects_testBoxy-0/+88
2024-07-11Always use a colon in `//@ normalize-*:` headersZalathar-2/+2
2024-07-07Fix intrinsic const parameter counting with `effects`Deadbeef-17/+49
2024-06-30Migrate tests to use `-Znext-solver`Deadbeef-64/+52
2024-06-30Make `feature(effects)` require `-Znext-solver`Deadbeef-0/+24
2024-06-28bless UI testsDeadbeef-139/+48
2024-06-28implement new effects desugaringDeadbeef-0/+14
2024-06-22Make `effects` an incomplete featureDeadbeef-17/+129
2024-06-21bless testsDeadbeef-42/+21
2024-06-05Bless tests and handle tests/crashesBoxy-24/+14
2024-06-03Fix ICE caused by ignoring EffectVars in type inferenceAndrew Wock-0/+93
Signed-off-by: Andrew Wock <ajwock@gmail.com>
2024-03-20Bless test fallout (duplicate diagnostics)Michael Goulet-5/+15
2024-03-19Make `const_eval_select` a rustc_intrinsicOli Scherer-11/+13
2024-03-07Merge `check_mod_impl_wf` and `check_mod_type_wf`Oli Scherer-2/+27
2024-03-02const_eval_select: make it safe but be careful with what we expose on stable ↵Ralf Jung-1/+2
for now
2024-02-23Revert some `span_bug`s to `span_delayed_bug`.Nicholas Nethercote-0/+35
Fixes #121410. Fixes #121414. Fixes #121418. Fixes #121431.
2024-02-16[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives许杰友 Jieyou Xu (Joe)-9/+9
2024-01-24remove StructuralEq traitRalf Jung-3/+0
2024-01-13Bless testsGeorge-lewis-0/+1
Update tests
2024-01-09Auto merge of #117449 - oli-obk:query_merge_immobile_game, r=matthewjasperbors-3/+46
Avoid silencing relevant follow-up errors r? `@matthewjasper` This PR only adds new errors to tests that are already failing and fixes one ICE. Several tests were changed to not emit new errors. I believe all of them were faulty tests, and not explicitly testing for the code that had new errors.
2024-01-09Avoid silencing relevant follow-up errorsOli Scherer-3/+46
2024-01-08~const trait or projection bounds do not imply non-const boundsMichael Goulet-8/+83
2024-01-02E0379: Provide suggestionsLeón Orell Valerian Liehr-3/+55
2024-01-02E0379: Make diagnostic more preciseLeón Orell Valerian Liehr-3/+3
2024-01-02Don't synthesize host effect params for trait assoc fns marked constLeón Orell Valerian Liehr-0/+28
2023-12-27Introduce `const Trait` (always-const trait bounds)León Orell Valerian Liehr-2/+2
2023-12-23add a test for ICE #112822Deadbeef-0/+34
2023-12-23Auto merge of #119072 - fee1-dead-contrib:effects-fixes, r=compiler-errorsbors-12/+3
Clean up `check_consts` and misc fixes 1. Remove most of the logic around erroring with trait methods. I have kept the part resolving it to a concrete impl, as that is used for const stability checks. 2. Turning on `effects` causes ICE with generic args, due to `~const Tr` when `Tr` is not `#[const_trait]` tripping up expectation in code that handles generic args, more specifically here: https://github.com/rust-lang/rust/blob/8681e077b8afa99d60acf8f8470a012a3ce709a5/compiler/rustc_hir_analysis/src/astconv/generics.rs#L377 We set `arg_count.correct` to `Err` to correctly signal that an error has already been reported. 3. UI test blesses. Edit(fmease): Fixes #117244 (UI test is in #119099 for now). r? compiler-errors
2023-12-19bless ui testsDeadbeef-12/+3
2023-12-18Check const_eval_select intrinsic correctlyMichael Goulet-1/+6
2023-12-18Check FnPtr/FnDef built-in fn traits correctly with effectsMichael Goulet-2/+13
2023-12-07Fix const drop checkingMichael Goulet-22/+2
2023-12-06Auto merge of #118605 - fee1-dead-contrib:rm-rustc_host, r=compiler-errorsbors-6/+7
Remove `#[rustc_host]`, use internal desugaring Also removed a way for users to explicitly specify the host param since that isn't particularly useful. This should eliminate any pain with encoding attributes across crates and etc. r? `@compiler-errors`
2023-12-05Remove `#[rustc_host]`, use internal desugaringDeadbeef-6/+7
2023-12-04Use default params until effects in desugaringDeadbeef-6/+19
2023-11-28Add with_opt_const_effect_param helper, simplifyMichael Goulet-2/+2
2023-11-28Add PartialEq<&B> for &AMichael Goulet-44/+12
2023-11-28Fix PartialEq args when #[const_trait] is enabledMichael Goulet-1/+1
2023-11-25effects: Run `enforce_context_effects` for all method callsDeadbeef-25/+54
2023-11-24Show number in error message even for one errorNilstrieb-1/+1
Co-authored-by: Adrian <adrian.iosdev@gmail.com>
2023-11-12Auto merge of #117817 - fmease:deny-more-tilde-const, r=fee1-deadbors-54/+0
Deny more `~const` trait bounds thereby fixing a family of ICEs (delayed bugs) for `feature(const_trait_impl, effects)` code. As discussed r? `@fee1-dead`
2023-11-12Deny more `~const` trait boundsLeón Orell Valerian Liehr-54/+0
2023-11-06Rollup merge of #117516 - matthiaskrgr:test_effects_113375_oob, r=fee1-deadMatthias Krüger-0/+18
add test for #113375 Fixes #113375 r? `@fee1-dead`
2023-11-02add test for #113375Matthias Krüger-0/+18
Fixes #113375