about summary refs log tree commit diff
path: root/tests/ui/const-generics
AgeCommit message (Expand)AuthorLines
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
2025-01-18Revert "Rollup merge of #134371 - scottmcm:fix-134352, r=oli-obk"Rémy Rakic-23/+0
2025-01-16Properly note when query stack is being cut offMichael Goulet-1/+1
2025-01-15Rework trait expansion to happen once explicitlyMichael Goulet-4/+4
2025-01-14Make sure we can produce ConstArgHasWrongType errors for valtree constsMichael Goulet-0/+107
2025-01-13Rollup merge of #135390 - ranger-ross:readd-test-122638, r=BoxyUwUJacob Pratt-0/+78
2025-01-12re-added regression test for #122638Ross Sullivan-0/+78
2025-01-11Remove a bunch of diagnostic stashing that doesn't do anythingMichael Goulet-5/+22
2025-01-09Always take the `Ok` path in `lit_to_const` and produce error constants insteadOli Scherer-48/+91
2025-01-06Add derived causes for host effect predicatesMichael Goulet-0/+18
2025-01-03Rollup merge of #135044 - compiler-errors:better-infer-suggestions-in-const, ...Matthias Krüger-24/+46
2025-01-02Make suggestion verbose and tweak error messageMichael Goulet-26/+40
2025-01-02More refined spans for placeholder error in const/staticMichael Goulet-24/+26