about summary refs log tree commit diff
path: root/compiler/rustc_middle
AgeCommit message (Expand)AuthorLines
2023-03-21Use local key in providersMichael Goulet-147/+262
2023-03-21Rollup merge of #109408 - RalfJung:retags, r=compiler-errorsnils-1/+2
2023-03-21Rollup merge of #109390 - cbeuw:aggregate-lit, r=oli-obknils-1/+1
2023-03-21Rollup merge of #109240 - compiler-errors:dont-binder-twice, r=oli-obknils-14/+1
2023-03-20Enforce non-lifetime-binders in supertrait preds are not object safeMichael Goulet-2/+11
2023-03-20not *all* retags might be explicit in Runtime MIRRalf Jung-1/+2
2023-03-20Fix off-by-one in mir syntax docAndy Wang-1/+1
2023-03-20Update some names and commentsMichael Goulet-3/+5
2023-03-20drive-by: Fix a comment in TyCtxt::fold_regions and remove an unused methodMichael Goulet-14/+1
2023-03-18Implement FixedSizeEncoding for UnusedGenericParams.Camille GILLOT-0/+14
2023-03-18Rollup merge of #109234 - tmiasko:overflow-checks, r=cjgillotMatthias Krüger-12/+8
2023-03-17Rollup merge of #109198 - compiler-errors:new-rpitit-default-body, r=spastorinoMatthias Krüger-7/+18
2023-03-17Rollup merge of #108958 - clubby789:unbox-the-hir, r=compiler-errorsMatthias Krüger-2/+0
2023-03-16Tweak implementation of overflow checking assertionsTomasz Miąsko-12/+8
2023-03-16Auto merge of #108944 - cjgillot:clear-local-info, r=oli-obkbors-44/+37
2023-03-16Rollup merge of #109180 - gimbles:master, r=compiler-errorsMatthias Krüger-9/+9
2023-03-16Rollup merge of #109151 - compiler-errors:debug-assert-alias, r=WaffleLapkinMatthias Krüger-0/+7
2023-03-15Auto merge of #108282 - cjgillot:mir-checked-sh, r=tmiaskobors-16/+12
2023-03-15Feed is_type_alias_impl_trait for RPITITs on the trait sideSantiago Pastorino-0/+1
2023-03-15ImplTraitPlaceholder -> is_impl_trait_in_traitSantiago Pastorino-1/+5
2023-03-15unequal → not equalgimbles-9/+9
2023-03-15Make impl_trait_in_trait_container consider newly generated RPITITsSantiago Pastorino-4/+10
2023-03-15Rename impl_trait_in_trait_parent to impl_trait_in_trait_parent_fnSantiago Pastorino-2/+2
2023-03-15Rollup merge of #109109 - compiler-errors:polymorphize-foreign, r=NilstriebDylan DPC-2/+2
2023-03-15Auto merge of #109089 - compiler-errors:opt_rpitit_info-follow-up, r=spastorinobors-0/+1
2023-03-14Don't make projection tys out of anon constsMichael Goulet-1/+1
2023-03-14Assert def-kind is correct for alias typesMichael Goulet-0/+7
2023-03-14Encode opt_rpitit_info for associated typesMichael Goulet-0/+1
2023-03-14ICE when checking LocalInfo on runtime MIR.Camille GILLOT-18/+13
2023-03-14Remove LocalKind::Var.Camille GILLOT-5/+1
2023-03-14Make is_block_tail a variant of LocalInfo.Camille GILLOT-18/+5
2023-03-14Wrap the whole LocalInfo in ClearCrossCrate.Camille GILLOT-14/+29
2023-03-14Remove box expressions from HIRclubby789-2/+0
2023-03-14Rollup merge of #109101 - compiler-errors:layout-err, r=michaelwoeristerMatthias Krüger-1/+5
2023-03-14Use `unused_generic_params` from crate metadataMichael Goulet-2/+2
2023-03-14Remove some direct calls to local_def_id_to_hir_id on diagnosticsSantiago Pastorino-2/+2
2023-03-14Auto merge of #109057 - compiler-errors:rpitit-info-again, r=spastorinobors-11/+20
2023-03-13Layout of `&dyn Trait<[type error]>` is still wideMichael Goulet-1/+5
2023-03-13Rollup merge of #109058 - tmiasko:is-checkable, r=jackh726Matthias Krüger-0/+3
2023-03-13Don't opt_rpitit_info as a separate queryMichael Goulet-11/+20
2023-03-13Better names?Michael Goulet-20/+23
2023-03-13Treat projections with infer as placeholder during fast reject in new solverMichael Goulet-40/+83
2023-03-12Auto merge of #108820 - cjgillot:ensure-on-disk, r=oli-obkbors-1/+39
2023-03-12Auto merge of #109043 - matthiaskrgr:rollup-genkz0e, r=matthiaskrgrbors-6/+3
2023-03-12Rollup merge of #109017 - klensy:dupe, r=cjgillotMatthias Krüger-6/+2
2023-03-12Rollup merge of #108726 - est31:backticks_matchmaking_tidy, r=NilstriebMatthias Krüger-0/+1
2023-03-12Auto merge of #108794 - nnethercote:avoid-unnecessary-hashing, r=cjgillotbors-6/+6
2023-03-12Auto merge of #108682 - est31:simplify_dirs, r=davidtwcobors-1/+1
2023-03-12Auto merge of #108700 - spastorino:new-rpitit-impl-side-2, r=compiler-errorsbors-0/+13
2023-03-12Document BinOp::is_checkableTomasz Miąsko-0/+3