| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2022-09-09 | rename `codegen_fulfill_obligation` | lcnr | -2/+2 | |
| 2022-08-31 | Fix a bunch of typo | Dezhi 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-29 | Rollup merge of #100437 - compiler-errors:better-const-mismatch-err, r=oli-obk | Matthias Krüger | -6/+30 | |
| Improve const mismatch `FulfillmentError` Fixes #100414 | ||||
| 2022-08-27 | use smaller span for suggestions | Takayuki Maeda | -3/+5 | |
| 2022-08-24 | Note binding obligation causes for const equate errors | Michael Goulet | -0/+24 | |
| 2022-08-24 | Call them constants instead of types | Michael Goulet | -6/+6 | |
| 2022-08-10 | add test | b-naber | -0/+36 | |
| 2022-07-27 | Rollup 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-26 | Fix diagnostics for unfulfilled obligations | Deadbeef | -2/+0 | |
| 2022-07-26 | bless tests, remove nonexistent E0395 | Deadbeef | -44/+20 | |
| 2022-07-25 | Deeply deny fn and raw ptrs in const generics | Michael Goulet | -7/+44 | |
| 2022-07-22 | Do not resolve associated const when there is no provided value | Michael Goulet | -18/+28 | |
| 2022-07-20 | Add regression test for #71547 | Yuki Okushi | -0/+18 | |
| Signed-off-by: Yuki Okushi <jtitor@2k36.org> | ||||
| 2022-07-01 | Shorten def_span for more items. | Camille GILLOT | -1/+1 | |
| 2022-06-25 | Rollup merge of #98429 - b-naber:use-correct-substs-discriminant-cast, r=lcnr | Matthias Krüger | -0/+10 | |
| Use correct substs in enum discriminant cast Fixes https://github.com/rust-lang/rust/issues/97634 r? ```@lcnr``` | ||||
| 2022-06-24 | fmt | b-naber | -1/+1 | |
| 2022-06-24 | add test | b-naber | -0/+10 | |
| 2022-06-21 | Add a full regression test for #73727 | Yuki Okushi | -0/+25 | |
| Signed-off-by: Yuki Okushi <jtitor@2k36.org> | ||||
| 2022-06-14 | implement valtrees as the type-system representation for constant values | b-naber | -1/+5 | |
| 2022-06-13 | Add some more regression tests for #67945 | Yuki Okushi | -0/+107 | |
| 2022-06-02 | add new `emit_inference_failure_err` | lcnr | -8/+5 | |
| 2022-05-24 | add and update tests | b-naber | -2/+25 | |
| 2022-05-20 | Rollup 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-20 | report ambiguous type parameters when their parents are impl or fn | Takayuki Maeda | -0/+6 | |
| fix ci error emit err for `impl_item` | ||||
| 2022-05-19 | Add regression test for #88119 | Yuki Okushi | -0/+35 | |
| 2022-05-11 | Gracefully fail to resolve associated items instead of `delay_span_bug`. | Camille GILLOT | -1/+18 | |
| 2022-05-11 | Rollup merge of #96717 - BoxyUwU:gats_const_param_types_mismatch_err, r=lcnr | Yuki 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-08 | Correct the issue number of a test | Yuki Okushi | -1/+1 | |
| 2022-05-08 | Add regression test for #96654 | Yuki Okushi | -0/+15 | |
| 2022-05-06 | wording tweaks | Ellen | -4/+4 | |
| 2022-05-05 | make `compare_generic_param_kinds` errors consistent | Ellen | -15/+15 | |
| 2022-05-01 | Enable full revision in const generics ui tests | Alex Macleod | -0/+36 | |
| 2022-04-30 | Auto merge of #95776 - cjgillot:ast-lifetimes-static, r=petrochenkov | bors | -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-29 | Bless tests. | Camille GILLOT | -1/+11 | |
| 2022-04-28 | Update the diagnostic message to match the new span | Oli Scherer | -2/+2 | |
| 2022-04-28 | Check 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-17 | show suggestion to replace generic bounds with associated types in more cases | Robin Appelman | -1/+1 | |
| 2022-04-11 | simplify const params diagnostic on stable | Oliver Downard | -9/+2 | |
| 2022-04-05 | Rollup merge of #95654 - notriddle:notriddle/issue-95616, r=davidtwco | Dylan DPC | -12/+12 | |
| diagnostics: use correct span for const generics Fixes #95616 | ||||
| 2022-04-04 | Dedup logic and improve output for other types that impl trait | Esteban Kuber | -18/+18 | |
| 2022-04-04 | diagnostics: use correct span for const generics | Michael Howell | -12/+12 | |
| Fixes #95616 | ||||
| 2022-03-22 | fix previous failures and address review | b-naber | -58/+70 | |
| 2022-03-21 | add/update tests | b-naber | -137/+13 | |
| 2022-03-07 | Update tests after feature stabilization | Eric Holk | -1/+1 | |
| 2022-03-03 | Cleanup feature gates. | Camille GILLOT | -1/+1 | |
| 2022-02-20 | Gracefully handle non-UTF-8 string slices when pretty printing | Tomasz Miąsko | -16/+0 | |
| 2022-02-12 | Rebased and improved errors | Deadbeef | -4/+20 | |
| 2022-01-18 | Rollup merge of #92780 - b-naber:postpone-const-eval-coherence, r=lcnr | Matthias Krüger | -0/+12 | |
| Directly use ConstValue for single literals in blocks Addresses the minimal repro in https://github.com/rust-lang/rust/issues/92186, but doesn't fix the underlying problem (which would be solved by solving the anon subst problem afaict). I do, however, think that it makes sense in general to treat single literals in anon blocks as const values directly, especially in light of the problem that the issue refers to (anon const evaluation being postponed until infer variables in substs can be resolved, which was introduced by https://github.com/rust-lang/rust/pull/90023), i.e. while we do get warnings for those unnecessary braces, we should try to avoid errors caused by those braces if possible. | ||||
| 2022-01-17 | add and update tests | b-naber | -0/+12 | |
| 2022-01-14 | fix bug | Ellen | -11/+3 | |
 |
index : rust | |
| https://github.com/rust-lang/rust |
| summary refs log tree commit diff |