| Commit message (Expand) | Author | Age | Files | Lines |
* | Rollup merge of #111649 - Nilstrieb:derive-const-param-ty, r=BoxyUwU | Dylan DPC | 2023-05-17 | 7 | -2/+82 |
|\ |
|
| * | Add derive for `core::marker::ConstParamTy` | Nilstrieb | 2023-05-16 | 7 | -2/+82 |
* | | Note base types of coercion | Michael Goulet | 2023-05-12 | 1 | -2/+2 |
|/ |
|
* | Rollup merge of #111215 - BoxyUwU:resolve_anon_consts_differently, r=cjgillot | Matthias Krüger | 2023-05-09 | 45 | -382/+431 |
|\ |
|
| * | improve diagnostics and bless tests | Boxy | 2023-05-05 | 45 | -382/+431 |
* | | Stabilize const_ptr_read | bors | 2023-05-05 | 1 | -1/+1 |
|/ |
|
* | Rollup merge of #111100 - BoxyUwU:array_repeat_expr_wf, r=compiler-errors | Matthias Krüger | 2023-05-04 | 2 | -2/+20 |
|\ |
|
| * | check array type of repeat exprs is wf | Boxy | 2023-05-04 | 2 | -2/+20 |
* | | Rollup merge of #111103 - BoxyUwU:normal_fold_with_gce_norm, r=compiler-errors | Matthias Krüger | 2023-05-04 | 1 | -11/+13 |
|\ \
| |/
|/| |
|
| * | correctly recurse when expanding anon consts | Boxy | 2023-05-02 | 1 | -11/+13 |
* | | rustc_middle: Fix `opt_item_ident` for non-local def ids | Vadim Petrochenkov | 2023-05-03 | 1 | -0/+6 |
|/ |
|
* | Rollup merge of #110512 - compiler-errors:fix-elaboration-with-associated-typ... | Dylan DPC | 2023-05-02 | 2 | -2/+15 |
|\ |
|
| * | Don't use implied trait predicates in gather_explicit_predicates_of | Michael Goulet | 2023-05-01 | 2 | -2/+15 |
* | | Rollup merge of #108161 - WaffleLapkin:const_param_ty, r=BoxyUwU | Dylan DPC | 2023-05-02 | 12 | -1/+285 |
|\ \
| |/
|/| |
|
| * | fixup tests wrt new normalization | Maybe Waffle | 2023-04-28 | 1 | -1/+5 |
| * | --bless `ConstParamTy` ui tests | Maybe Waffle | 2023-04-27 | 3 | -3/+3 |
| * | Add `ConstParamTy` tests | Maybe Waffle | 2023-04-27 | 5 | -0/+198 |
| * | Add a test for `[NotParam; 0]: ConstParamTy` (not holding) | Maybe Waffle | 2023-04-27 | 2 | -0/+28 |
| * | Add `!StructuralEq` test for `ConstParamTy` | Maybe Waffle | 2023-04-27 | 2 | -0/+29 |
| * | Rename/move a test | Maybe Waffle | 2023-04-27 | 2 | -1/+1 |
| * | Remove `feature(const_param_ty_trait)`, use `adt_const_params` instead | Maybe Waffle | 2023-04-27 | 2 | -2/+3 |
| * | `derive(Eq)` in a test | Maybe Waffle | 2023-04-27 | 1 | -2/+2 |
| * | Add a `ConstParamTy` trait | Maybe Waffle | 2023-04-27 | 2 | -0/+24 |
* | | vars are ? | Michael Goulet | 2023-04-25 | 2 | -8/+8 |
|/ |
|
* | fix library and rustdoc tests | Deadbeef | 2023-04-16 | 2 | -6/+8 |
* | Special-case item attributes in the suggestion output | Esteban Küber | 2023-04-12 | 2 | -5/+0 |
* | Tweak output for 'add line' suggestion | Esteban Küber | 2023-04-12 | 2 | -4/+9 |
* | Auto merge of #106281 - JulianKnodt:transmute_const_generics, r=b-naber | bors | 2023-04-08 | 5 | -0/+345 |
|\ |
|
| * | Add feature gate | kadmin | 2023-04-07 | 5 | -10/+187 |
| * | Add ability to transmute with generic consts | kadmin | 2023-04-04 | 3 | -0/+168 |
* | | update tests/ui | ickk | 2023-04-07 | 1 | -1/+1 |
|/ |
|
* | Move const trait bounds checks to MIR constck | Deadbeef | 2023-03-28 | 2 | -2/+18 |
* | Bless tidy | Maybe Waffle | 2023-03-27 | 1 | -1/+1 |
* | Note type mismatch on ConstArgHasType | Michael Goulet | 2023-03-23 | 1 | -1/+1 |
* | Refine error spans for const args in hir typeck | Michael Goulet | 2023-03-23 | 2 | -6/+6 |
* | Rollup merge of #109380 - Randl:patch-1, r=oli-obk | Matthias Krüger | 2023-03-23 | 1 | -0/+52 |
|\ |
|
| * | Add `known-bug` test for typeid unsoundness issue | Evgenii Zheltonozhskii | 2023-03-20 | 1 | -0/+52 |
* | | Rollup merge of #109336 - compiler-errors:constrain-to-ct-err, r=BoxyUwU | Matthias Krüger | 2023-03-21 | 2 | -0/+22 |
|\ \ |
|
| * | | Constrain const vars to error if const types are mismatched | Michael Goulet | 2023-03-19 | 2 | -0/+22 |
| |/ |
|
* | | Only expect a GAT const arg | Michael Goulet | 2023-03-19 | 2 | -0/+29 |
|/ |
|
* | Rollup merge of #107416 - czzrr:issue-80618, r=GuillaumeGomez | Matthias Krüger | 2023-03-18 | 2 | -17/+18 |
|\ |
|
| * | Error code E0794 for late-bound lifetime parameter error. | Christopher Acosta | 2023-03-07 | 2 | -17/+18 |
* | | Use param's real type in try_eval_lit_or_param | Michael Goulet | 2023-03-09 | 4 | -15/+19 |
* | | Suppress copy impl error when post-normalized type references errors | Michael Goulet | 2023-03-08 | 2 | -0/+18 |
|/ |
|
* | Add regression test for #105821 | Yuki Okushi | 2023-03-01 | 1 | -0/+23 |
* | diagnostics: remove inconsistent English article "this" from E0107 | Michael Howell | 2023-02-23 | 14 | -19/+19 |
* | diagnostics: update test cases to refer to assoc fn with `self` as method | Michael Howell | 2023-02-22 | 5 | -5/+5 |
* | Specify what 'this' actually is | Michael Goulet | 2023-02-21 | 11 | -16/+16 |
* | `const` generic -> const parameter in err msg | lcnr | 2023-02-20 | 1 | -6/+3 |
* | add predicate evaluation logic | Boxy | 2023-02-17 | 2 | -2/+11 |