about summary refs log tree commit diff
path: root/tests/ui/rfcs/rfc-2632-const-trait-impl
AgeCommit message (Expand)AuthorLines
2024-10-22Move testsMichael Goulet-7896/+0
2024-10-17Rollup merge of #128391 - cafce25:issue-128390, r=lcnrMatthias Krüger-4/+5
2024-10-04Bless ui tests.Camille GILLOT-28/+28
2024-10-02Improve const traits diagnostics for new desugaringDeadbeef-137/+114
2024-09-30Rollup merge of #131038 - onkoe:fix/adt_const_params_leak_118179, r=compiler-...Matthias Krüger-3/+3
2024-09-29fix(hir_analysis/wfcheck): don't leak {type error}Barrett Ray-3/+3
2024-09-27properly elaborate effects implied bounds for super traitsDeadbeef-53/+21
2024-09-26Make new information notes instead of labelsJonathan Birk-5/+5
2024-09-24Ban combination of GCE and new solverMichael Goulet-8/+23
2024-09-21Don't elaborate effects predicates into bounds list unless we're actually col...Michael Goulet-14/+1
2024-09-15stabilize const_mut_refsRalf Jung-37/+34
2024-08-24remove invalid `TyCompat` relation for effectsDeadbeef-2/+13
2024-08-11Add more information link to orphan implsJonathan Birk-1/+2
2024-08-10Differentiate between methods and associated functionsEsteban Küber-22/+22
2024-07-30Adjust orphan note in testsJonathan Birk-1/+1
2024-07-25Rollup merge of #128171 - compiler-errors:arg-compat, r=oli-obkMatthias Krüger-0/+53
2024-07-24Make sure that args are compatible in resolve_associated_itemMichael Goulet-0/+53
2024-07-25Rollup merge of #128111 - estebank:no-question, r=fmeaseMatthias Krüger-4/+4
2024-07-25Rollup merge of #127054 - compiler-errors:bound-ordering, r=fmeaseMatthias Krüger-18/+26
2024-07-24Do not use question as labelEsteban Küber-4/+4
2024-07-24Rollup merge of #122192 - oli-obk:type_of_opaque_for_const_checks, r=lcnrMatthias Krüger-35/+3
2024-07-24Do not try to reveal hidden types when trying to prove Freeze in the defining...Oli Scherer-35/+3
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-16Add `ConstArgKind::Path` and make `ConstArg` its own HIR nodeNoah Lev-13/+4
2024-07-14add_effects_testBoxy-0/+88
2024-07-11And additionally enforce ? and async/const aren't mixedMichael Goulet-16/+24
2024-07-11Always use a colon in `//@ normalize-*:` headersZalathar-2/+2
2024-07-10Enforce that ? and for<...> are not combinedMichael Goulet-2/+2
2024-07-10Reorder modifiers and polarity to be *after* binder in trait boundsMichael Goulet-2/+2
2024-07-08Rollup merge of #127452 - fee1-dead-contrib:fx-intrinsic-counting, r=fmease许杰友 Jieyou Xu (Joe)-17/+49
2024-07-07Fix intrinsic const parameter counting with `effects`Deadbeef-17/+49
2024-07-05Process alias-relate obligations when proving receiver_is_validMichael Goulet-49/+2
2024-07-02Actually report normalization-based type errors correctly for alias-relate ob...Michael Goulet-4/+16
2024-06-30Migrate tests to use `-Znext-solver`Deadbeef-349/+404
2024-06-30Make `feature(effects)` require `-Znext-solver`Deadbeef-0/+24
2024-06-28address review commentsDeadbeef-15/+9
2024-06-28finishing touches, move fixed ICEs to ui testsDeadbeef-5/+160
2024-06-28general fixups and turn `TODO`s into `FIXME`sDeadbeef-75/+4
2024-06-28bless UI testsDeadbeef-815/+854
2024-06-28bless tests part 1Deadbeef-34/+218
2024-06-28temporarily disable effects on specialization testsDeadbeef-49/+36
2024-06-28Implement `Min` trait in new solverDeadbeef-0/+1
2024-06-28implement new effects desugaringDeadbeef-2/+27
2024-06-22Make `effects` an incomplete featureDeadbeef-88/+679
2024-06-21bless testsDeadbeef-106/+796
2024-06-19Taint infcx when reporting errorsOli Scherer-4/+122
2024-06-05Bless tests and handle tests/crashesBoxy-24/+14
2024-06-04Rollup merge of #125865 - ajwock:ice_not_fully_resolved, r=fee1-deadMichael Goulet-0/+93