about summary refs log tree commit diff
path: root/tests/ui/const-generics/generic_const_exprs
AgeCommit message (Expand)AuthorLines
2024-11-24Simplify array length mismatch error reportingMichael Goulet-3/+1
2024-11-21Stop being so bail-y in candidate assemblyMichael Goulet-0/+36
2024-11-12Consolidate type system const evaluation under `traits::evaluate_const`Boxy-129/+0
2024-11-03Yeet effects featureMichael Goulet-2/+2
2024-10-29Remove detail from label/note that is already available in other noteEsteban Küber-1/+1
2024-10-26Deny calls to non-`#[const_trait]` methods in MIR constckDeadbeef-9/+21
2024-10-15stabilize `-Znext-solver=coherence`lcnr-20/+19
2024-10-11Don't assume traits used as type are trait objsVulnBandit-38/+5
2024-10-10UI tests: Rename "object safe" to "dyn compatible"León Orell Valerian Liehr-12/+12
2024-09-29fix(hir_analysis/wfcheck): don't leak {type error}Barrett Ray-3/+3
2024-09-27Rollup merge of #130826 - fmease:compiler-mv-obj-safe-dyn-compat, r=compiler-...Matthias Krüger-5/+5
2024-09-25Compiler: Rename "object safe" to "dyn compatible"León Orell Valerian Liehr-5/+5
2024-09-24Ban combination of GCE and new solverMichael Goulet-1/+9
2024-09-22Introduce structurally_normalize_const, use it in hir_typeckMichael Goulet-2/+2
2024-09-20Normalize unevaluated consts in GCEMichael Goulet-44/+7
2024-09-17Remove redundant test typeid equality by subtypingSantiago Pastorino-81/+0
2024-09-12Re-enable `ConstArgKind::Path` lowering by defaultNoah Lev-14/+7
2024-09-11Revert 'Stabilize -Znext-solver=coherence'Michael Goulet-19/+20
2024-09-05stabilize `-Znext-solver=coherence`lcnr-20/+19
2024-08-24Rollup merge of #129246 - BoxyUwU:feature_gate_const_arg_path, r=cjgillotMatthias Krüger-10/+17
2024-08-19Retroactively feature gate `ConstArgKind::Path`Boxy-10/+17
2024-08-17Bless test falloutMichael Goulet-3/+3
2024-08-10Auto merge of #128714 - camelid:wf-struct-exprs, r=BoxyUwUbors-1/+13
2024-08-05WF-check struct field types at construction siteNoah Lev-1/+13
2024-08-05interpret: move nullary-op evaluation into operator.rsRalf Jung-1/+1
2024-08-03Revert "Rollup merge of #125572 - mu001999-contrib:dead/enhance, r=pnkfelix"Michael Goulet-2/+1
2024-08-01Do not underline suggestions for code that is already thereEsteban Küber-4/+0
2024-07-29Detect non-lifetime binder params shadowing item paramsMichael Goulet-6/+16
2024-07-26Rollup merge of #126575 - fmease:update-lint-type_alias_bounds, r=compiler-er...Trevor Gross-0/+134
2024-07-23Suppress lint type_alias_bounds for ty aliases containing const projections u...León Orell Valerian Liehr-0/+134
2024-07-22Revert suggestion verbosity changeEsteban Küber-24/+12
2024-07-22On generic and lifetime removal suggestion, do not leave behind stray `,`Esteban Küber-1/+1
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-21Rollup merge of #128020 - compiler-errors:nlb-no-const, r=BoxyUwUJubilee-2/+9
2024-07-21Auto merge of #127722 - BoxyUwU:new_adt_const_params_limitations, r=compiler-...bors-23/+21
2024-07-20Just totally fully deny late-bound constsMichael Goulet-2/+9
2024-07-17Split part of `adt_const_params` into `unsized_const_params`Boxy-23/+21
2024-07-16Add `ConstArgKind::Path` and make `ConstArg` its own HIR nodeNoah Lev-11/+11
2024-07-11Always use a colon in `//@ normalize-*:` headersZalathar-3/+3
2024-07-04Better suggestion span for missing type parameterEsteban Küber-2/+10
2024-07-02add testBoxy-0/+32
2024-07-01Auto merge of #126996 - oli-obk:do_not_count_errors, r=nnethercotebors-3/+12
2024-06-30Migrate tests to use `-Znext-solver`Deadbeef-10/+24
2024-06-28bless tests part 1Deadbeef-45/+12
2024-06-26Automatically taint InferCtxt when errors are emittedOli Scherer-3/+12
2024-06-19Const generic parameters aren't bounds, even if we end up erroring because of...Oli Scherer-10/+10
2024-06-19Taint infcx when reporting errorsOli Scherer-13/+82
2024-06-07Rollup merge of #125572 - mu001999-contrib:dead/enhance, r=pnkfelixMatthias Krüger-1/+2
2024-06-05Bless tests and handle tests/crashesBoxy-4/+71