summary refs log tree commit diff
path: root/src/test/ui/const-generics/issues
AgeCommit message (Collapse)AuthorLines
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
2022-04-28Check that repeat expression elements are Copy (ignoring lifetimes) in ↵Oli Scherer-4/+4
typeck and that they are Copy (with proper lifetime checks) in borrowck
2022-04-17show suggestion to replace generic bounds with associated types in more casesRobin Appelman-1/+1
2022-04-11simplify const params diagnostic on stableOliver Downard-9/+2
2022-04-05Rollup merge of #95654 - notriddle:notriddle/issue-95616, r=davidtwcoDylan DPC-12/+12
diagnostics: use correct span for const generics Fixes #95616
2022-04-04Dedup logic and improve output for other types that impl traitEsteban Kuber-18/+18
2022-04-04diagnostics: use correct span for const genericsMichael Howell-12/+12
Fixes #95616
2022-03-22fix previous failures and address reviewb-naber-58/+70
2022-03-21add/update testsb-naber-137/+13
2022-03-07Update tests after feature stabilizationEric Holk-1/+1
2022-03-03Cleanup feature gates.Camille GILLOT-1/+1
2022-02-20Gracefully handle non-UTF-8 string slices when pretty printingTomasz Miąsko-16/+0
2022-02-12Rebased and improved errorsDeadbeef-4/+20
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-04-27 17:56:17 +0000