about summary refs log tree commit diff
path: root/src/test/ui/const-generics/issues
AgeCommit message (Collapse)AuthorLines
2023-01-11Move /src/test to /testsAlbert Larsan-3057/+0
2023-01-09Change commit_if_ok to probekadmin-0/+35
2022-12-13review commentsEsteban Küber-3/+3
2022-12-13Suggest `: Type` instead of `: _`Esteban Küber-3/+3
2022-12-06Change CTFE backtraces to use `note` instead of `label` to preserve their orderOli Scherer-5/+10
labels are reordered within the file in which they are reported, which can mess up the stack trace
2022-12-06Remove now-redundant file/line info from const backtracesOli Scherer-2/+2
2022-11-25fmtBoxy-1/+1
2022-11-25handle assoc consts in fulfill `ConstEquate`Boxy-145/+27
2022-11-25handle nested obligations in `satisfied_from_param_env`Boxy-8/+36
2022-11-25Add expand_abstract_constkadmin-21/+1
Adds the ability to directly expand a const to an expr without having to deal with intermediate steps.
2022-11-25Add empty ConstKind::Abstractkadmin-26/+168
Initial pass at expr/abstract const/s Address comments Switch to using a list instead of &[ty::Const], rm `AbstractConst` Remove try_unify_abstract_consts Update comments Add edits Recurse more More edits Prevent equating associated consts Move failing test to ui Changes this test from incremental to ui, and mark it as failing and a known bug. Does not cause the compiler to ICE, so should be ok.
2022-10-27Correct inconsistent error messages in testsByron Zhong-1/+1
2022-10-01bless ui testsMaybe Waffle-1/+1
2022-09-23Always print '_, even for erased lifetimes.Camille GILLOT-4/+4
2022-09-16bless testsDeadbeef-1/+3
2022-09-09rename `codegen_fulfill_obligation`lcnr-2/+2
2022-08-31Fix a bunch of typoDezhi Wu-1/+1
This PR will fix some typos detected by [typos]. I only picked the ones I was sure were spelling errors to fix, mostly in the comments. [typos]: https://github.com/crate-ci/typos
2022-08-29Rollup merge of #100437 - compiler-errors:better-const-mismatch-err, r=oli-obkMatthias Krüger-6/+30
Improve const mismatch `FulfillmentError` Fixes #100414
2022-08-27use smaller span for suggestionsTakayuki Maeda-3/+5
2022-08-24Note binding obligation causes for const equate errorsMichael Goulet-0/+24
2022-08-24Call them constants instead of typesMichael Goulet-6/+6
2022-08-10add testb-naber-0/+36
2022-07-27Rollup merge of #99651 - compiler-errors:fn-and-raw-ptr-in-const-generics, ↵Guillaume Gomez-7/+44
r=oli-obk Deeply deny fn and raw ptrs in const generics I think this is right -- just because we wrap a fn ptr in a wrapper type does not mean we should allow it in a const parameter. We now reject both of these in the same way: ``` #![feature(adt_const_params)] #[derive(Eq, PartialEq)] struct Wrapper(); fn foo<const W: Wrapper>() {} fn foo2<const F: fn()>() {} ``` This does regress one test (`src/test/ui/consts/refs_check_const_eq-issue-88384.stderr`), but I'm not sure it should've passed in the first place. cc: ``@b-naber`` who introduced that test^ fixes #99641
2022-07-26Fix diagnostics for unfulfilled obligationsDeadbeef-2/+0
2022-07-26bless tests, remove nonexistent E0395Deadbeef-44/+20
2022-07-25Deeply deny fn and raw ptrs in const genericsMichael Goulet-7/+44
2022-07-22Do not resolve associated const when there is no provided valueMichael Goulet-18/+28
2022-07-20Add regression test for #71547Yuki Okushi-0/+18
Signed-off-by: Yuki Okushi <jtitor@2k36.org>
2022-07-01Shorten def_span for more items.Camille GILLOT-1/+1
2022-06-25Rollup merge of #98429 - b-naber:use-correct-substs-discriminant-cast, r=lcnrMatthias Krüger-0/+10
Use correct substs in enum discriminant cast Fixes https://github.com/rust-lang/rust/issues/97634 r? ```@lcnr```
2022-06-24fmtb-naber-1/+1
2022-06-24add testb-naber-0/+10
2022-06-21Add a full regression test for #73727Yuki Okushi-0/+25
Signed-off-by: Yuki Okushi <jtitor@2k36.org>
2022-06-14implement valtrees as the type-system representation for constant valuesb-naber-1/+5
2022-06-13Add some more regression tests for #67945Yuki Okushi-0/+107
2022-06-02add new `emit_inference_failure_err`lcnr-8/+5
2022-05-24add and update testsb-naber-2/+25
2022-05-20Rollup merge of #97109 - ↵Matthias Krüger-0/+6
TaKO8Ki:fix-misleading-cannot-infer-type-for-type-parameter-error, r=oli-obk Fix misleading `cannot infer type for type parameter` error closes #93198
2022-05-20report ambiguous type parameters when their parents are impl or fnTakayuki Maeda-0/+6
fix ci error emit err for `impl_item`
2022-05-19Add regression test for #88119Yuki Okushi-0/+35
2022-05-11Gracefully fail to resolve associated items instead of `delay_span_bug`.Camille GILLOT-1/+18
2022-05-11Rollup merge of #96717 - BoxyUwU:gats_const_param_types_mismatch_err, r=lcnrYuki Okushi-15/+15
Handle mismatched generic param kinds in trait impls betterly - Check that generic params on a generic associated type are the same as in the trait definition - Check that const generics are not used in place of type generics (and the other way round too) r? `@lcnr`
2022-05-08Correct the issue number of a testYuki Okushi-1/+1
2022-05-08Add regression test for #96654Yuki Okushi-0/+15
2022-05-06wording tweaksEllen-4/+4
2022-05-05 make `compare_generic_param_kinds` errors consistentEllen-15/+15
2022-05-01Enable full revision in const generics ui testsAlex Macleod-0/+36
2022-04-30Auto merge of #95776 - cjgillot:ast-lifetimes-static, r=petrochenkovbors-1/+11
Enforce static lifetimes in consts during late resolution This PR moves the handling of implicitly and explicitly static lifetimes in constants from HIR to the AST.
2022-04-29Bless tests.Camille GILLOT-1/+11
2022-04-28Update the diagnostic message to match the new spanOli Scherer-2/+2
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-24 08:07:50 +0000