about summary refs log tree commit diff
path: root/compiler/rustc_middle
AgeCommit message (Expand)AuthorLines
2023-05-12Auto merge of #109732 - Urgau:uplift_drop_forget_ref_lints, r=davidtwcobors-2/+1
2023-05-12Use the opaque_types_defined_by query to cheaply check for whether a hidden t...Oli Scherer-3/+18
2023-05-12add `query opaque_types_defined_by`lcnr-0/+9
2023-05-12Add a convenience functionOli Scherer-0/+12
2023-05-12Rewrite nested `if` conditions into a single matchOli Scherer-6/+7
2023-05-12Invert `IgnoreRegions` to `CheckRegions`Oli Scherer-4/+4
2023-05-12Require `impl Trait` in associated types to appear in method signaturesOli Scherer-2/+2
2023-05-12Auto merge of #111493 - matthiaskrgr:rollup-iw1z59b, r=matthiaskrgrbors-4/+2
2023-05-12Don't ICE in layout computation for placeholder typesMichael Goulet-4/+2
2023-05-11Rollup merge of #111460 - clubby789:lowercase-box-self, r=compiler-errorsMichael Goulet-1/+1
2023-05-11Rollup merge of #111366 - obeis:ascribe-user-type-variance, r=lcnrMichael Goulet-4/+4
2023-05-12Note base types of coercionMichael Goulet-3/+0
2023-05-11Improve error for `self: Box<self>`clubby789-1/+1
2023-05-11Populate effective visibilities in rustc_privacyBryanskiy-26/+19
2023-05-11Auto merge of #111029 - Nilstrieb:when-the-errs-are-too-big, r=petrochenkovbors-5/+8
2023-05-11Rollup merge of #108705 - clubby789:refutable-let-closure-borrow, r=cjgillotMatthias Krüger-1/+1
2023-05-10Use OpaqueTypeKey in query responseMichael Goulet-2/+2
2023-05-10Remove and fix useless drop of referenceUrgau-2/+1
2023-05-10Make `NonUseContext::AscribeUserTy` carry `ty::Variance`Obei Sideg-4/+4
2023-05-10Rollup merge of #111410 - kylematsuda:earlybinder-abstract-const, r=BoxyUwUMatthias Krüger-12/+6
2023-05-09add EarlyBinder to thir_abstract_const; remove tcx.bound_abstract_constKyle Matsuda-12/+6
2023-05-09Auto merge of #106285 - cjgillot:refprop-ssa, r=JakobDegenbors-0/+13
2023-05-09Implement SSA-based reference propagation.Camille GILLOT-0/+13
2023-05-09Auto merge of #111371 - compiler-errors:revert-110907, r=petrochenkovbors-19/+26
2023-05-09Shrink `SelectionError` a lotNilstrieb-5/+8
2023-05-09Rollup merge of #111252 - matthewjasper:min-spec-improvements, r=compiler-errorsDylan DPC-2/+0
2023-05-08Revert "Populate effective visibilities in `rustc_privacy`"Michael Goulet-19/+26
2023-05-08Rollup merge of #109410 - fmease:iat-alias-kind-inherent, r=compiler-errorsMichael Goulet-24/+89
2023-05-08Rollup merge of #111022 - Nilstrieb:smaller-bitflags, r=compiler-errorsDylan DPC-2/+2
2023-05-08Rollup merge of #110827 - compiler-errors:issue-110761-followup, r=cjgillotDylan DPC-3/+5
2023-05-08Rollup merge of #110297 - kylematsuda:earlybinder_tcx_subst, r=BoxyUwUDylan DPC-12/+13
2023-05-07Use smaller ints for bitflagsNilstrieb-2/+2
2023-05-07Auto merge of #111161 - compiler-errors:rtn-super, r=cjgillotbors-4/+10
2023-05-06changes from review: add FIXME to clippy and change subst_identity to skip_bi...Kyle Matsuda-3/+3
2023-05-06make subst_mir take EarlyBinderKyle Matsuda-3/+4
2023-05-06use EarlyBinder in tcx.(try_)subst_mir_and_normalize_erasing_regionsKyle Matsuda-6/+6
2023-05-06make (try_)subst_and_normalize_erasing_regions take EarlyBinderKyle Matsuda-7/+7
2023-05-06Auto merge of #110907 - Bryanskiy:privacy_ef, r=petrochenkovbors-26/+19
2023-05-06Rollup merge of #111279 - compiler-errors:core-item-resolve, r=cjgillotMatthias Krüger-1/+1
2023-05-06Rollup merge of #110577 - compiler-errors:drop-impl-fulfill, r=lcnrMatthias Krüger-0/+4
2023-05-06More robust debug assertions for `Instance::resolve` on built-in traits with ...Michael Goulet-1/+1
2023-05-06add `DynSend / DynSync` for `CopyTaggedPtr`SparrowLii-2/+3
2023-05-06correct literals for dyn thread safeSparrowLii-1/+1
2023-05-06introduce `DynSend` and `DynSync` auto traitSparrowLii-20/+20
2023-05-05Disallow (min) specialization imps with no itemsMatthew Jasper-2/+0
2023-05-05Populate effective visibilities in `rustc_privacy`Bryanskiy-26/+19
2023-05-05Rollup merge of #111173 - nnethercote:still-more-Encoder-cleanups, r=cjgillotYuki Okushi-15/+6
2023-05-04Use fulfillment to check Drop impl compatibilityMichael Goulet-0/+4
2023-05-04Rollup merge of #111100 - BoxyUwU:array_repeat_expr_wf, r=compiler-errorsMatthias Krüger-2/+19
2023-05-04Rollup merge of #110826 - cjgillot:place-mention-use, r=JakobDegen,lcnrMatthias Krüger-3/+6