summaryrefslogtreecommitdiff
path: root/compiler/rustc_middle
Commit message (Expand)AuthorAgeFilesLines
...
| * | | | | | Shrink `SelectionError` a lotNilstrieb2023-05-091-5/+8
* | | | | | | Rollup merge of #108705 - clubby789:refutable-let-closure-borrow, r=cjgillotMatthias Krüger2023-05-111-1/+1
|\ \ \ \ \ \ \ | |_|_|_|_|/ / |/| | | | | |
| * | | | | | Bail out of MIR construction if `check_match` failsclubby7892023-04-301-1/+1
| | |_|_|_|/ | |/| | | |
* | | | | | Rollup merge of #111410 - kylematsuda:earlybinder-abstract-const, r=BoxyUwUMatthias Krüger2023-05-103-12/+6
|\ \ \ \ \ \
| * | | | | | add EarlyBinder to thir_abstract_const; remove tcx.bound_abstract_constKyle Matsuda2023-05-093-12/+6
* | | | | | | Auto merge of #106285 - cjgillot:refprop-ssa, r=JakobDegenbors2023-05-091-0/+13
|\ \ \ \ \ \ \ | |/ / / / / / |/| | | | | |
| * | | | | | Implement SSA-based reference propagation.Camille GILLOT2023-05-091-0/+13
| | |_|_|/ / | |/| | | |
* | | | | | Auto merge of #111371 - compiler-errors:revert-110907, r=petrochenkovbors2023-05-091-19/+26
|\ \ \ \ \ \ | |/ / / / / |/| | | | |
| * | | | | Revert "Populate effective visibilities in `rustc_privacy`"Michael Goulet2023-05-081-19/+26
| | |_|/ / | |/| | |
* | | | | Rollup merge of #111252 - matthewjasper:min-spec-improvements, r=compiler-errorsDylan DPC2023-05-091-2/+0
|\ \ \ \ \ | |_|_|/ / |/| | | |
| * | | | Disallow (min) specialization imps with no itemsMatthew Jasper2023-05-051-2/+0
| | |_|/ | |/| |
* | | | Rollup merge of #109410 - fmease:iat-alias-kind-inherent, r=compiler-errorsMichael Goulet2023-05-0811-24/+89
|\ \ \ \ | |_|/ / |/| | |
| * | | IAT: Introduce AliasKind::InherentLeón Orell Valerian Liehr2023-05-0411-24/+89
* | | | Rollup merge of #111022 - Nilstrieb:smaller-bitflags, r=compiler-errorsDylan DPC2023-05-082-2/+2
|\ \ \ \
| * | | | Use smaller ints for bitflagsNilstrieb2023-05-072-2/+2
* | | | | Rollup merge of #110827 - compiler-errors:issue-110761-followup, r=cjgillotDylan DPC2023-05-081-3/+5
|\ \ \ \ \
| * | | | | Fix lifetime suggestion for type aliases with objects in themMichael Goulet2023-04-251-3/+5
* | | | | | Rollup merge of #110297 - kylematsuda:earlybinder_tcx_subst, r=BoxyUwUDylan DPC2023-05-082-12/+13
|\ \ \ \ \ \ | |_|/ / / / |/| | | | |
| * | | | | changes from review: add FIXME to clippy and change subst_identity to skip_bi...Kyle Matsuda2023-05-061-3/+3
| * | | | | make subst_mir take EarlyBinderKyle Matsuda2023-05-061-3/+4
| * | | | | use EarlyBinder in tcx.(try_)subst_mir_and_normalize_erasing_regionsKyle Matsuda2023-05-061-6/+6
| * | | | | make (try_)subst_and_normalize_erasing_regions take EarlyBinderKyle Matsuda2023-05-062-7/+7
* | | | | | Auto merge of #111161 - compiler-errors:rtn-super, r=cjgillotbors2023-05-073-4/+10
|\ \ \ \ \ \ | |/ / / / / |/| | | | |
| * | | | | Error message for ambiguous RTN from super boundsMichael Goulet2023-05-031-0/+6
| * | | | | Rename things to reflect that they're not item specificMichael Goulet2023-05-032-9/+4
| * | | | | Support RTN on associated methods from supertraitsMichael Goulet2023-05-031-1/+6
* | | | | | Auto merge of #110907 - Bryanskiy:privacy_ef, r=petrochenkovbors2023-05-061-26/+19
|\ \ \ \ \ \
| * | | | | | Populate effective visibilities in `rustc_privacy`Bryanskiy2023-05-051-26/+19
| | |_|_|/ / | |/| | | |
* | | | | | Rollup merge of #111279 - compiler-errors:core-item-resolve, r=cjgillotMatthias Krüger2023-05-061-1/+1
|\ \ \ \ \ \
| * | | | | | More robust debug assertions for `Instance::resolve` on built-in traits with ...Michael Goulet2023-05-061-1/+1
| | |/ / / / | |/| | | |
* | | | | | Rollup merge of #110577 - compiler-errors:drop-impl-fulfill, r=lcnrMatthias Krüger2023-05-061-0/+4
|\ \ \ \ \ \ | |_|/ / / / |/| | | | |
| * | | | | Use fulfillment to check Drop impl compatibilityMichael Goulet2023-05-041-0/+4
* | | | | | Rollup merge of #111173 - nnethercote:still-more-Encoder-cleanups, r=cjgillotYuki Okushi2023-05-052-15/+6
|\ \ \ \ \ \
| * | | | | | Remove unneeded encode/decode methods.Nicholas Nethercote2023-05-042-9/+0
| * | | | | | Reorder some `MemDecoder` methods.Nicholas Nethercote2023-05-041-6/+6
* | | | | | | Rollup merge of #111100 - BoxyUwU:array_repeat_expr_wf, r=compiler-errorsMatthias Krüger2023-05-041-2/+19
|\ \ \ \ \ \ \
| * | | | | | | do not allow rustc::pass_by_value lintBoxy2023-05-041-6/+4
| * | | | | | | check array type of repeat exprs is wfBoxy2023-05-041-2/+21
| | |_|_|_|/ / | |/| | | | |
* | | | | | | Rollup merge of #110826 - cjgillot:place-mention-use, r=JakobDegen,lcnrMatthias Krüger2023-05-041-3/+6
|\ \ \ \ \ \ \ | |_|_|/ / / / |/| | | | | |
| * | | | | | Expand comment on NonMutatingUseContext.Camille GILLOT2023-04-291-0/+3
| * | | | | | Make PlaceMention a non-mutating use.Camille GILLOT2023-04-291-3/+3
* | | | | | | Auto merge of #111174 - matthiaskrgr:rollup-ncnqivh, r=matthiaskrgrbors2023-05-042-6/+7
|\ \ \ \ \ \ \ | |_|/ / / / / |/| | | | | |
| * | | | | | Rollup merge of #111103 - BoxyUwU:normal_fold_with_gce_norm, r=compiler-errorsMatthias Krüger2023-05-041-1/+2
| |\ \ \ \ \ \
| | * | | | | | correctly recurse when expanding anon constsBoxy2023-05-021-1/+2
| * | | | | | | Rollup merge of #110859 - compiler-errors:no-negative-drop-impls, r=oli-obkMatthias Krüger2023-05-041-5/+5
| |\ \ \ \ \ \ \
| | * | | | | | | Explicitly reject negative and reservation drop implsMichael Goulet2023-04-271-5/+5
| | | |/ / / / / | | |/| | | | |
* | | | | | | | Auto merge of #110806 - WaffleLapkin:unmkI, r=lcnrbors2023-05-045-43/+78
|\ \ \ \ \ \ \ \ | |/ / / / / / / |/| | | | | | |
| * | | | | | | Don't return a `Binder` from `TraitRef::identity`Maybe Waffle2023-04-261-6/+2
| * | | | | | | Add new `ToPredicate` impls and `TraitRef` methods to remove some `ty::Binber...Maybe Waffle2023-04-262-0/+30
| * | | | | | | Switch `ty::TraitRef::from_lang_item` from using `TyCtxtAt` to `TyCtxt` and a...Maybe Waffle2023-04-261-4/+4
View Lorry Controller Status