about summary refs log tree commit diff
path: root/compiler/rustc_middle
AgeCommit message (Expand)AuthorLines
2023-01-27Separate witness type computation from the generator transform.Camille GILLOT-0/+8
2023-01-27Remember where a type was kept in MIR.Camille GILLOT-4/+13
2023-01-27Introduce GeneratorWitnessMIR.Camille GILLOT-53/+132
2023-01-27Impl HashStable/Encodable/Decodable for ObligationCause.Camille GILLOT-13/+51
2023-01-26add EarlyBinder::no_bound_varsKyle Matsuda-0/+5
2023-01-26change fn_sig query to use EarlyBinder; remove bound_fn_sig query; add EarlyB...Kyle Matsuda-13/+6
2023-01-26replace usages of fn_sig query with bound_fn_sigKyle Matsuda-3/+6
2023-01-27internally change regions to be covariantAli MJ Al-Nasrawy-12/+2
2023-01-26previous thir unpretty output through thir-flatb-naber-0/+7
2023-01-26Make make_identity take CanonicalVarInfosMichael Goulet-27/+25
2023-01-26Intern CanonicalVarValuesMichael Goulet-31/+31
2023-01-26Auto merge of #106812 - oli-obk:output_filenames, r=petrochenkovbors-1/+2
2023-01-26Rollup merge of #107150 - Nilstrieb:thread-local-cleanups, r=cjgillotMatthias Krüger-178/+190
2023-01-26output tree representation for thir-treeb-naber-3/+885
2023-01-26Auto merge of #107318 - matthiaskrgr:rollup-776kd81, r=matthiaskrgrbors-644/+14
2023-01-26Rollup merge of #107304 - Nilstrieb:ᐸTy as PartialEqᐳ::eq becau...Matthias Krüger-644/+14
2023-01-26Auto merge of #107314 - matthiaskrgr:rollup-j40lnlj, r=matthiaskrgrbors-113/+122
2023-01-26Rollup merge of #107248 - erikdesjardins:addrspace, r=oli-obkMatthias Krüger-113/+122
2023-01-26Auto merge of #105582 - saethlin:instcombine-assert-inhabited, r=cjgillotbors-4/+11
2023-01-25Rollup merge of #105345 - yanchen4791:issue-103582-fix, r=jackh726Matthias Krüger-0/+24
2023-01-25Use `can_eq` to compare types for default assoc type errorNilstrieb-11/+8
2023-01-25Move `note_and_explain_type_err` from `rustc_middle` to `rustc_infer`Nilstrieb-633/+6
2023-01-25Auto merge of #103902 - vincenzopalazzo:macros/obligation_rulesv2, r=oli-obkbors-5/+7
2023-01-25create and use GlobalAlloc::address_spaceErik Desjardins-1/+12
2023-01-23Thread a ParamEnv down to might_permit_raw_initBen Kimock-4/+11
2023-01-23Add comments and remove unnecessary codeBryan Garza-4/+5
2023-01-23Replace terminator-based const eval limitBryan Garza-1/+7
2023-01-23Remove debugging-related codeBryan Garza-6/+2
2023-01-23Create stable metric to measure long computation in Const EvalBryan Garza-3/+15
2023-01-23Point at specific field in struct literal when trait fulfillment failsNathan Fenner-0/+2
2023-01-23Add hint for missing lifetime bound on trait object when type alias is usedyanchen4791-0/+24
2023-01-23Auto merge of #107220 - JohnTitor:rollup-5pvuz0z, r=JohnTitorbors-2/+1
2023-01-23fix: use LocalDefId instead of HirId in trait resVincenzo Palazzo-5/+7
2023-01-23Make `output_filenames` a real queryOli Scherer-1/+2
2023-01-23Rollup merge of #107153 - tmiasko:dominates, r=oli-obkYuki Okushi-1/+1
2023-01-23Rollup merge of #107151 - tmiasko:dominators-no-inline, r=compiler-errorsYuki Okushi-1/+0
2023-01-23Auto merge of #107136 - petrochenkov:dochidden, r=cjgillotbors-1/+3
2023-01-23Rollup merge of #104926 - spastorino:calculate_diverging_fallback-cleanups, r...Dylan DPC-1/+1
2023-01-22abi: add `AddressSpace` field to `Primitive::Pointer`Erik Desjardins-112/+110
2023-01-22Auto merge of #106975 - tmiasko:basic-blocks-cache, r=cjgillotbors-296/+74
2023-01-22Rename relationships to infer_var_infoSantiago Pastorino-1/+1
2023-01-21rustc_metadata: Encode `doc(hidden)` flag to metadataVadim Petrochenkov-1/+3
2023-01-21Remove some superfluous type parameters from layout.rs.Michael Benfield-3/+3
2023-01-21Auto merge of #106977 - michaelwoerister:unord_id_collections, r=oli-obkbors-10/+28
2023-01-21Consistently use dominates instead of is_dominated_byTomasz Miąsko-1/+1
2023-01-21Instantiate dominators algorithm only onceTomasz Miąsko-1/+0
2023-01-21Use strict provenance APIs in ty::tlsNilstrieb-10/+21
2023-01-21Some ty::tls cleanupsNilstrieb-51/+53
2023-01-21Move `ty::tls` to seperate fileNilstrieb-172/+171
2023-01-20Auto merge of #107106 - matthiaskrgr:rollup-g7r1ep0, r=matthiaskrgrbors-1/+1