| Age | Commit message (Expand) | Author | Lines |
|---|
| 2022-09-17 | Auto merge of #98588 - b-naber:valtrees-cleanup, r=lcnr | bors | -30/+36 |
| 2022-09-14 | address review again | b-naber | -0/+2 |
| 2022-09-13 | Address code review comments | Eric Holk | -1/+1 |
| 2022-09-13 | fixes/working version | b-naber | -22/+31 |
| 2022-09-13 | use ty::Unevaluated<'tcx, ()> in type system | b-naber | -12/+7 |
| 2022-09-12 | dyn* through more typechecking and MIR | Eric Holk | -0/+7 |
| 2022-09-08 | Auto merge of #101437 - compiler-errors:erase-normalize-ordering, r=tmandry | bors | -14/+15 |
| 2022-09-06 | Generalize the Assume intrinsic statement to a general Intrinsic statement | Oli Scherer | -11/+9 |
| 2022-09-06 | Lower the assume intrinsic to a MIR statement | Oli Scherer | -0/+10 |
| 2022-09-05 | Normalize before erasing late-bound regions in equal_up_to_regions | Michael Goulet | -14/+15 |
| 2022-09-02 | Rollup merge of #100121 - Nilstrieb:mir-validator-param-env, r=oli-obk | Matthias Krüger | -5/+12 |
| 2022-08-30 | Refactor MIR phases | Jakob Degen | -20/+23 |
| 2022-08-29 | Only normalize once in mir validator typechecker | Nilstrieb | -15/+10 |
| 2022-08-29 | Try normalizing types without RevealAll in ParamEnv in mir validation | Nilstrieb | -8/+20 |
| 2022-08-29 | Rollup merge of #99027 - tmiasko:basic-blocks, r=oli-obk | Matthias Krüger | -8/+8 |
| 2022-08-26 | Rollup merge of #100738 - nidnogg:diagnostics_migr_const_eval, r=davidtwco | Michael Goulet | -105/+51 |
| 2022-08-26 | Replace `Body::basic_blocks()` with field access | Tomasz Miąsko | -8/+8 |
| 2022-08-25 | Auto merge of #100571 - cjgillot:mir-cost-visit, r=compiler-errors | bors | -16/+14 |
| 2022-08-21 | Fixed failing tests (missing labels), added automatic error code in create_fe... | nidnogg | -13/+4 |
| 2022-08-21 | Added several more migrations under ops.rs, failing some tests though | nidnogg | -97/+57 |
| 2022-08-21 | Migration on ops.rs for unstable const functions | nidnogg | -5/+3 |
| 2022-08-21 | Migrated Unallowed function pointer calls in interpreter/ops | nidnogg | -5/+2 |
| 2022-08-21 | Also validate types before inlining. | Camille GILLOT | -16/+14 |
| 2022-08-20 | Rollup merge of #100507 - cameron1024:suggest-lazy, r=compiler-errors | Matthias Krüger | -0/+5 |
| 2022-08-14 | suggest lazy-static for non-const statics | cameron | -0/+5 |
| 2022-08-12 | Erase regions better in promote_candidate | Michael Goulet | -7/+2 |
| 2022-08-04 | Add `traits::fully_solve_obligation` that acts like `traits::fully_normalize` | Michael Goulet | -10/+2 |
| 2022-08-03 | Rollup merge of #99746 - compiler-errors:more-trait-engine, r=jackh726 | Matthias Krüger | -2/+2 |
| 2022-08-01 | Remove trait_of_item query. | Camille GILLOT | -1/+1 |
| 2022-07-27 | Rollup merge of #99651 - compiler-errors:fn-and-raw-ptr-in-const-generics, r=... | Guillaume Gomez | -1/+1 |
| 2022-07-26 | ICE on RawPtrComparison check | Deadbeef | -4/+4 |
| 2022-07-26 | Use TraitEngine in more places that don't specifically need FulfillmentCtxt::... | Michael Goulet | -2/+2 |
| 2022-07-25 | Remove non-descriptive boolean from search_for_structural_match_violation | Michael Goulet | -1/+1 |
| 2022-07-25 | Deeply deny fn and raw ptrs in const generics | Michael Goulet | -1/+1 |
| 2022-07-20 | Revert "Rollup merge of #98582 - oli-obk:unconstrained_opaque_type, r=estebank" | Oli Scherer | -3/+1 |
| 2022-07-15 | Introduce opaque type to hidden type projection | Oli Scherer | -1/+3 |
| 2022-07-13 | Rename `debugging_opts` to `unstable_opts` | Joshua Nelson | -2/+2 |
| 2022-07-13 | Auto merge of #99210 - Dylan-DPC:rollup-879cp1t, r=Dylan-DPC | bors | -2/+2 |
| 2022-07-13 | Rollup merge of #99011 - oli-obk:UnsoundCell, r=eddyb | Dylan DPC | -2/+2 |
| 2022-07-12 | add new rval, pull deref early | ouz-a | -1/+18 |
| 2022-07-11 | Rollup merge of #99140 - TaKO8Ki:implement-is-accessible-span, r=fee1-dead | Dylan DPC | -1/+1 |
| 2022-07-11 | rename a method | Takayuki Maeda | -1/+1 |
| 2022-07-11 | implement `is_accessible_span` | Takayuki Maeda | -1/+1 |
| 2022-07-11 | Deny floats even when adt_const_params is enabled | Michael Goulet | -1/+1 |
| 2022-07-09 | Rollup merge of #99050 - JakobDegen:storage-docs, r=tmiasko | Matthias Krüger | -1/+7 |
| 2022-07-09 | Rollup merge of #99022 - pierwill:always-storage-live-locals, r=pierwill | Matthias Krüger | -2/+2 |
| 2022-07-08 | Clarify MIR semantics of storage statements | Jakob Degen | -1/+7 |
| 2022-07-08 | Migrate MutDeref, TransientMutBorrow diagnostics | Michael Goulet | -18/+16 |
| 2022-07-08 | Migrate PanicNonStr, RawPtrComparison, RawPtrToInt diagnostics | Michael Goulet | -23/+6 |
| 2022-07-08 | Migrate StaticAccess diagnostic | Michael Goulet | -19/+8 |
