summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty
AgeCommit message (Expand)AuthorLines
2023-03-18Don't eagerly convert principal to stringclubby789-0/+6
2023-01-21Auto merge of #106977 - michaelwoerister:unord_id_collections, r=oli-obkbors-10/+28
2023-01-20Auto merge of #107106 - matthiaskrgr:rollup-g7r1ep0, r=matthiaskrgrbors-1/+1
2023-01-20Rollup merge of #106928 - bvanjoi:print-keyword-raw-identifier, r=petrochenkovMatthias Krüger-1/+1
2023-01-20Rollup merge of #106979 - Nilstrieb:type-of-default-assoc-type, r=petrochenkovMatthias Krüger-0/+5
2023-01-19Auto merge of #107038 - compiler-errors:dont-wfcheck-non-local-rpit, r=oli-obkbors-0/+1
2023-01-20add raw identifier for keyword in suggestionbohan-1/+1
2023-01-19Encode whether foreign opaques are TAITs or notMichael Goulet-0/+1
2023-01-19Auto merge of #106910 - aliemjay:alias-ty-in-regionck, r=oli-obkbors-2/+17
2023-01-19even more unify Projection/Opaque in outlives codeAli MJ Al-Nasrawy-2/+17
2023-01-19Allow for more efficient sorting when exporting Unord collections.Michael Woerister-4/+3
2023-01-19Use UnordMap instead of FxHashMap in define_id_collections!().Michael Woerister-11/+30
2023-01-19Transform async ResumeTy in generator transformArpad Borsos-0/+9
2023-01-18Rollup merge of #107023 - scottmcm:stop-shouting, r=NilstriebMichael Goulet-22/+22
2023-01-18Rollup merge of #107004 - compiler-errors:new-solver-new-candidates-2, r=lcnrMichael Goulet-0/+5
2023-01-18Rollup merge of #106753 - compiler-errors:rpitit-not-suggestable, r=spastorinoMichael Goulet-5/+12
2023-01-18Auto merge of #106503 - cjgillot:remap-nofilter, r=oli-obkbors-26/+1
2023-01-18Auto and alias traitsMichael Goulet-0/+5
2023-01-18Rollup merge of #106718 - lcnr:solver-cycles, r=compiler-errorsDylan DPC-11/+0
2023-01-17Stop using `BREAK` & `CONTINUE` in compilerScott McMurray-22/+22
2023-01-18instantiate canonical vars eagerlylcnr-11/+0
2023-01-18Rollup merge of #106873 - BoxyUwU:ty_const_formatting, r=compiler-errorsMatthias Krüger-29/+16
2023-01-18Rollup merge of #106747 - yanchen4791:issue-105507-fix, r=estebankMatthias Krüger-0/+7
2023-01-18i am freeBoxy-8/+11
2023-01-18actually print out non local anon constsBoxy-3/+3
2023-01-18defer array len printing to const arg printingBoxy-20/+4
2023-01-17Add 'static lifetime suggestion when GAT implied 'static requirement from HRTByanchen4791-0/+7
2023-01-17Rollup merge of #106980 - Nilstrieb:_use_mk_manual_debug_impl_instead, r=lcnrMatthias Krüger-2/+11
2023-01-17Rollup merge of #106970 - kylematsuda:earlybinder-item-bounds, r=lcnrMatthias Krüger-7/+0
2023-01-17Rollup merge of #104505 - WaffleLapkin:no-double-spaces-in-comments, r=jackh726Matthias Krüger-19/+19
2023-01-17change item_bounds query to return EarlyBinder; remove bound_item_bounds queryKyle Matsuda-7/+0
2023-01-17Hide `_use_mk_alias_ty_instead` in `<AliasTy as Debug>::fmt`nils-2/+11
2023-01-17Document how to get the type of a default associated typenils-0/+5
2023-01-17Remove double spaces after dots in commentsMaybe Waffle-19/+19
2023-01-17Rollup merge of #106953 - kylematsuda:early-binder-docs, r=jackh726Matthias Krüger-0/+19
2023-01-17Rollup merge of #106829 - compiler-errors:more-alias-combine, r=spastorinoMatthias Krüger-0/+1
2023-01-16document EarlyBinder::subst_identity and skip_binderKyle Matsuda-0/+19
2023-01-16Rollup merge of #106940 - oli-obk:tait_error, r=compiler-errorsMatthias Krüger-1/+8
2023-01-16Improve a TAIT error and add an error code plus documentationOli Scherer-1/+8
2023-01-16Auto merge of #106395 - compiler-errors:rework-predicates, r=eholkbors-23/+47
2023-01-15Remove bound_{explicit,}_item_boundsMichael Goulet-14/+0
2023-01-15drive-by: assert when iterating through InstantiatedPredicatesMichael Goulet-0/+2
2023-01-15Make InstantiatedPredicates impl IntoIteratorMichael Goulet-0/+27
2023-01-15instantiate_own doesn't need to return a pair of vectorsMichael Goulet-9/+18
2023-01-15Auto merge of #106742 - compiler-errors:new-solver-make-it-not-ice, r=lcnrbors-2/+88
2023-01-15Rollup merge of #106863 - anden3:compiler-double-spaces, r=NilstriebMatthias Krüger-1/+1
2023-01-14Fix some missed double spaces.André Vennberg-1/+1
2023-01-14fix various subst_identity vs skip_binderKyle Matsuda-2/+4
2023-01-14change impl_trait_ref query to return EarlyBinder; remove bound_impl_trait_re...Kyle Matsuda-17/+6
2023-01-14change usages of impl_trait_ref to bound_impl_trait_refKyle Matsuda-6/+10