about summary refs log tree commit diff
path: root/compiler/rustc_middle
AgeCommit message (Expand)AuthorLines
2023-03-23Rollup merge of #109462 - compiler-errors:alias-relate, r=BoxyUwU,lcnrMatthias Krüger-10/+29
2023-03-23Auto merge of #109503 - matthiaskrgr:rollup-cnp7kdd, r=matthiaskrgrbors-16/+10
2023-03-23Remove AliasRelationDirection::SupertypeMichael Goulet-12/+0
2023-03-23Printing alias-relate goals correctlyMichael Goulet-4/+14
2023-03-23Rename AliasEq -> AliasRelateMichael Goulet-8/+8
2023-03-23Include relation direction in AliasEq predicateMichael Goulet-6/+27
2023-03-23make param bound vars visibly bound varsBoxy-1/+5
2023-03-22Add `CastKind::Transmute` to MIRScott McMurray-1/+9
2023-03-22Rollup merge of #109447 - lcnr:coherence, r=compiler-errorsMatthias Krüger-7/+6
2023-03-22Rollup merge of #109378 - MU001999:master, r=scottmcmMatthias Krüger-6/+1
2023-03-22Rollup merge of #109358 - petrochenkov:nosess, r=cjgillotMatthias Krüger-3/+3
2023-03-22Auto merge of #109497 - matthiaskrgr:rollup-6txuxm0, r=matthiaskrgrbors-1/+1
2023-03-23Rollup merge of #109405 - compiler-errors:rpitit-as-opaques, r=spastorinoDylan DPC-1/+1
2023-03-23Rollup merge of #109280 - compiler-errors:no-vec-map, r=Mark-SimulacrumDylan DPC-5/+4
2023-03-22rustc: Remove unused `Session` argument from some attribute functionsVadim Petrochenkov-3/+3
2023-03-22`HirId` to `LocalDefId` cleanuplcnr-1/+1
2023-03-22Auto merge of #109119 - lcnr:trait-system-cleanup, r=compiler-errorsbors-0/+14
2023-03-21RPITITs are DefKind::Opaque with new lowering strategyMichael Goulet-1/+1
2023-03-21Auto merge of #109453 - matthiaskrgr:rollup-odn02wu, r=matthiaskrgrbors-1/+13
2023-03-21Rollup merge of #109441 - oli-obk:fn_trait_new_solver, r=compiler-errorsMatthias Krüger-1/+13
2023-03-21woopslcnr-1/+1
2023-03-21query_keys_local is conditional on separate_provide_if_externMichael Goulet-15/+14
2023-03-21LocalCrate keyMichael Goulet-7/+13
2023-03-21AsLocalKey traitMichael Goulet-312/+47
2023-03-21IdentitySubsts::identity_for_item takes Into<DefId>Michael Goulet-6/+6
2023-03-21Use LocalDefId in ItemCtxtMichael Goulet-4/+4
2023-03-21Use local key in providersMichael Goulet-147/+262
2023-03-21new solver cleanup + coherencelcnr-6/+5
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-21Deduplicate fn trait compatibility checksOli Scherer-1/+13
2023-03-21remove some trait solver helperslcnr-0/+14
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-20Remove Ty::is_region_ptrMu42-6/+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-17Remove VecMapMichael Goulet-5/+4
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