summary refs log tree commit diff
path: root/tests/ui/const-generics
AgeCommit message (Expand)AuthorLines
2025-05-05Do not gather local all together at the beginning of typeckMichael Goulet-74/+74
2025-05-01Set groundwork for proper const normalizationBoxy-10/+5
2025-04-30Rollup merge of #140467 - BoxyUwU:no_fcw_assoc_consts, r=lcnrMatthias Krüger-0/+23
2025-04-30compiletest: Make diagnostic kind mandatory on line annotationsVadim Petrochenkov-33/+39
2025-04-29Don't FCW assoc consts in patternsBoxy-0/+23
2025-04-24check types of const param defaultlcnr-0/+38
2025-04-16Explicitly annotate edition for `unpretty=expanded` and `unpretty=hir` testsLukas Wirth-0/+2
2025-04-13Rollup merge of #139607 - reddevilmidzy:add-regression-test, r=petrochenkovChris Denton-0/+39
2025-04-12Add regression test for #127424reddevilmidzy-0/+39
2025-04-10Allow parenthesis around inferred array lengthsBoxy-1/+72
2025-04-09Auto merge of #139555 - petrochenkov:errkind-ann, r=jieyouxubors-15/+15
2025-04-08UI tests: add missing diagnostic kinds where possibleVadim Petrochenkov-15/+15
2025-04-07compiletest: Stricter parsing for diagnostic kindsVadim Petrochenkov-23/+23
2025-04-03Pass correct param-env to error_impliesMichael Goulet-0/+64
2025-03-15Rollup merge of #138283 - compiler-errors:enforce-const-param, r=BoxyUwUMatthias Krüger-0/+69
2025-03-14Do not suggest using `-Zmacro-backtrace` for builtin macrosEsteban Küber-25/+0
2025-03-14Check type of const param correctly in MIR typeckMichael Goulet-0/+69
2025-03-12Disentangle ForwardGenericParamBan and ConstParamTy ribsMichael Goulet-45/+55
2025-03-11Auto merge of #138366 - matthiaskrgr:rollup-cn16m7q, r=matthiaskrgrbors-0/+80
2025-03-11Rollup merge of #138284 - compiler-errors:const-param-ty-annotation, r=BoxyUwUMatthias Krüger-0/+21
2025-03-11Implement `#[define_opaque]` attribute for functions.Oli Scherer-123/+23
2025-03-09Do not feed anon const a type that references generics that it does not haveMichael Goulet-0/+59
2025-03-09Do not write user type annotation for const param value pathMichael Goulet-0/+21
2025-03-05Rollup merge of #137298 - compiler-errors:mir-wf, r=lcnr许杰友 Jieyou Xu (Joe)-6/+6
2025-03-04mgca: Lower all const paths as `ConstArgKind::Path`Noah Lev-0/+155
2025-03-03Don't typeck during WF, instead check outside of WF in check_crateMichael Goulet-6/+6
2025-03-01Rollup merge of #137617 - BoxyUwU:generic_const_parameter_types, r=lcnrMatthias Krüger-44/+215
2025-03-01Rollup merge of #136503 - estebank:const-panic, r=RalfJungMatthias Krüger-12/+6
2025-02-28Introduce `feature(generic_const_parameter_types)`Boxy-44/+215
2025-02-28Shorten span of panic failures in const contextEsteban Küber-12/+6
2025-02-28normalizing where-clauses is also coinductive, add testslcnr-8/+68
2025-02-24Remove dyn_compatible_for_dispatchMichael Goulet-3/+20
2025-02-14Trim suggestion parts to the subset that is purely additiveMichael Goulet-10/+10
2025-02-14Use underline suggestions for purely 'additive' replacementsMichael Goulet-30/+20
2025-02-14fallout :skull_emoji:lcnr-41/+41
2025-02-11Lower fn items as ZST valtrees and delay a bugMichael Goulet-0/+32
2025-02-10Show diff suggestion format on verbose replacementEsteban Küber-61/+90
2025-02-04Rollup merge of #136167 - pitaj:new_range, r=NadrierilJacob Pratt-6/+6
2025-02-01Rollup merge of #135900 - compiler-errors:derive-wf, r=lcnrMatthias Krüger-20/+14
2025-01-31Manually walk into WF obligations in BestObligation proof tree visitorMichael Goulet-20/+14
2025-01-31Rollup merge of #135860 - fmease:compiler-mv-obj-save-dyn-compat-ii, r=jieyouxuMatthias Krüger-7/+7
2025-01-30std::rangePeter Jaszkowiak-6/+6
2025-01-28Properly check that array length is valid type during built-in unsizing in indexMichael Goulet-0/+41
2025-01-26Compiler: Finalize dyn compatibility renamingLeón Orell Valerian Liehr-7/+7
2025-01-23Handle parenthesised infer argsBoxy-0/+12
2025-01-23Bless and add testsBoxy-9/+7
2025-01-22Auto merge of #135896 - matthiaskrgr:rollup-g6rv7za, r=matthiaskrgrbors-1/+1
2025-01-22Rollup merge of #135596 - compiler-errors:stack, r=oli-obkMatthias Krüger-1/+1
2025-01-22Refactor dyn-compatibility error and suggestionsTaylor Cramer-37/+44
2025-01-21Auto merge of #133830 - compiler-errors:span-key, r=lcnrbors-4/+4