about summary refs log tree commit diff
path: root/compiler/rustc_middle
AgeCommit message (Expand)AuthorLines
2022-10-07Unconditionally encode hidden types in typeck resultsOli Scherer-5/+3
2022-10-07First batch of review feedback changes from #102110Nathan Stocks-1/+20
2022-10-07Remove tuple candidate, nothing special about itMichael Goulet-14/+2
2022-10-07make const_err a hard errorRalf Jung-18/+1
2022-10-07Remove `DefId` from some `SelectionCandidate` variantsDeadbeef-2/+2
2022-10-07Rewrite representabilityCameron Steffen-5/+200
2022-10-06Rollup merge of #98496 - BoxyUwU:instancers_bad_equality, r=lcnrMatthias Krüger-0/+6
2022-10-06Remove `mir::CastKind::Misc`ouz-a-3/+40
2022-10-05Validate opaques in default trait bodies, don't normalize unless a body is pr...Michael Goulet-1/+1
2022-10-05Fix test for default body with implMichael Goulet-0/+1
2022-10-04Rollup merge of #102651 - oli-obk:non_region_things, r=lcnrMatthias Krüger-17/+17
2022-10-04It's not about types or consts, but the lack of regionsOli Scherer-17/+17
2022-10-04Auto merge of #102652 - Dylan-DPC:rollup-6ff8ct8, r=Dylan-DPCbors-1/+3
2022-10-04Rollup merge of #102568 - compiler-errors:lint-unsatisfied-opaques, r=oli-obkDylan DPC-1/+3
2022-10-04Auto merge of #102622 - camsteffen:move-layout, r=fee1-deadbors-2641/+5
2022-10-04Rollup merge of #102567 - compiler-errors:issue-102561, r=davidtwcoMatthias Krüger-1/+4
2022-10-03Auto merge of #102632 - matthiaskrgr:rollup-h8s3zmo, r=matthiaskrgrbors-5/+10
2022-10-03Add diagnostic struct for const eval error in `rustc_middle`pierwill-5/+10
2022-10-03Rollup merge of #102597 - compiler-errors:issue-102571, r=davidtwcoMatthias Krüger-1/+1
2022-10-03re-name params + add commentsb-naber-10/+16
2022-10-03Move utils from rustc_middle to rustc_ty_utilsCameron Steffen-2641/+5
2022-10-03Rollup merge of #102592 - WaffleLapkin:less_lifetimes, r=cjgillotMatthias Krüger-7/+6
2022-10-02Avoid ICE in printing RPITIT typeMichael Goulet-1/+1
2022-10-02Lint for unsatisfied nested opaquesMichael Goulet-1/+3
2022-10-02Remove a couple lifetimes that could be inferedMaybe Waffle-7/+6
2022-10-02Rollup merge of #102538 - cjgillot:def-span-ctxt, r=fee1-deadDylan DPC-6/+26
2022-10-02Delay evaluating lint primary message until after it would be suppressedMichael Goulet-1/+4
2022-10-01Use a SortedMap instead of a VecMap.Camille GILLOT-2/+2
2022-10-01Compute by owner instead of HirId.Camille GILLOT-9/+23
2022-10-01Do not fetch HIR node when iterating to find lint.Camille GILLOT-15/+15
2022-10-01Move lint level computation to rustc_middle::lint.Camille GILLOT-76/+69
2022-10-01Move code to rustc_lint.Camille GILLOT-149/+38
2022-10-01Remove unused tool_name.Camille GILLOT-2/+0
2022-10-01Compute `lint_levels` by definitionDeadbeef-37/+112
2022-10-01Allow query system to recover a HirId.Camille GILLOT-6/+32
2022-10-01Auto merge of #101986 - WaffleLapkin:move_lint_note_to_the_bottom, r=estebankbors-23/+45
2022-10-01Move lint level source explanation to the bottomMaybe Waffle-2/+1
2022-10-01Refactor rustc lint APIMaybe Waffle-22/+45
2022-10-01Give `def_span` the same SyntaxContext as `span_with_body`.Camille GILLOT-6/+26
2022-09-30Rollup merge of #102483 - spastorino:create-defs-on-lowering, r=cjgillotMatthias Krüger-2/+2
2022-09-30create def ids for impl traits during ast loweringSantiago Pastorino-2/+2
2022-09-30make query take `(LocalDefId, DefId)`Boxy-2/+2
2022-09-30make `compare_const_impl` a query and use it in `instance.rs`Boxy-0/+6
2022-09-30Stabilize map_first_lastest31-1/+0
2022-09-30don't repeat lifetime names from outer binder in printb-naber-12/+57
2022-09-30Rollup merge of #101075 - ellishg:rustc_codegen_gcc_diagnostics, r=davidtwcoMatthias Krüger-0/+13
2022-09-30Auto merge of #102164 - compiler-errors:rpitit-foreign, r=TaKO8Kibors-0/+5
2022-09-29Auto merge of #101887 - nnethercote:shrink-Res, r=spastorinobors-1/+2
2022-09-29Auto merge of #101893 - oli-obk:lift_derive, r=lcnrbors-0/+1
2022-09-29Rollup merge of #102399 - b-naber:binder-print-ice, r=lcnrYuki Okushi-4/+10