about summary refs log tree commit diff
path: root/compiler/rustc_middle
AgeCommit message (Expand)AuthorLines
2022-12-14always use anonymize_bound_varsMichael Goulet-30/+0
2022-12-14Fix rustdocOli Scherer-1/+1
2022-12-14Auto traits in dyn are suggestableMichael Goulet-13/+2
2022-12-14Debug assertions hate this trickOli Scherer-3/+3
2022-12-14Fix some comments and only get the generics in debug modeOli Scherer-27/+23
2022-12-14Remove TraitRef::newOli Scherer-20/+6
2022-12-14Prevent the creation of `TraitRef` without dedicated methodsOli Scherer-8/+13
2022-12-14Ensure no one constructs `AliasTy`s themselvesOli Scherer-13/+16
2022-12-14Remove one more usage of `mk_substs_trait`Oli Scherer-1/+1
2022-12-14Remove many more cases of `mk_substs_trait` that can now use the iterator sch...Oli Scherer-1/+17
2022-12-14Let `mk_fn_def` take an iterator instead to simplify some call sitesOli Scherer-5/+13
2022-12-14Rename to match similar methodsOli Scherer-3/+3
2022-12-14Guard `AliasTy` creation against passing the wrong number of substsOli Scherer-12/+22
2022-12-14Fix unsafetyck disabling for custom MIRJakob Degen-0/+5
2022-12-14some fixes/improvements to mir::visit moduleTshepang Mbambo-4/+4
2022-12-14Auto merge of #104986 - compiler-errors:opaques, r=oli-obkbors-152/+149
2022-12-13Rollup merge of #105628 - spastorino:small-doc-fixes, r=compiler-errorsMatthias Krüger-1/+1
2022-12-13Address nitsMichael Goulet-8/+3
2022-12-13nit: docsMichael Goulet-3/+12
2022-12-13Combine identical alias armsMichael Goulet-45/+26
2022-12-13Combine projection and opaque into aliasMichael Goulet-71/+81
2022-12-13squash OpaqueTy and ProjectionTy into AliasTyMichael Goulet-65/+59
2022-12-13ProjectionTy.item_def_id -> ProjectionTy.def_idMichael Goulet-42/+34
2022-12-13Use ty::OpaqueTy everywhereMichael Goulet-18/+24
2022-12-13make Opaque have one field: OpaqueTyMichael Goulet-1/+11
2022-12-13Auto merge of #105612 - oli-obk:bind_rustdoc, r=GuillaumeGomezbors-1/+12
2022-12-13Make InternalSubsts rust docs a bit clearerSantiago Pastorino-1/+1
2022-12-13Remove instantiate_type_schemeMichael Goulet-3/+3
2022-12-13EarlyBinder nitsMichael Goulet-2/+9
2022-12-13Fast path some binder relationsMichael Goulet-5/+5
2022-12-12Rollup merge of #105593 - jruderman:patch-3, r=Dylan-DPCMatthias Krüger-1/+1
2022-12-12Avoid trying to normalize unnormalizable typesOli Scherer-1/+4
2022-12-12Round 3: require binders for substsOli Scherer-0/+1
2022-12-12Round 1: add some binders (fails due to losing bound vars and then rebinding ...Oli Scherer-0/+7
2022-12-11Fix typo in comment: length_limitJesse Ruderman-1/+1
2022-12-11bug! with a better error message for failing Instance::resolveMichael Goulet-1/+16
2022-12-11Rollup merge of #105537 - kadiwa4:remove_some_imports, r=fee1-deadMatthias Krüger-11/+0
2022-12-10Introduce `with_forced_trimmed_paths`Esteban Küber-17/+111
2022-12-10compiler: remove unnecessary imports and qualified pathsKaDiWa-11/+0
2022-12-10Rollup merge of #105410 - TaKO8Ki:fix-105257, r=BoxyUwUMatthias Krüger-0/+9
2022-12-10Rollup merge of #105234 - JakobDegen:unneeded-field, r=oli-obkMatthias Krüger-41/+10
2022-12-10Auto merge of #105525 - matthiaskrgr:rollup-ricyw5s, r=matthiaskrgrbors-0/+76
2022-12-10Rollup merge of #104019 - compiler-errors:print-generator-sizes, r=wesleywiserMatthias Krüger-0/+76
2022-12-09Fold `Definitions` into the untracked dataOli Scherer-33/+14
2022-12-09Move the untracked cstore and source_span into a structOli Scherer-50/+33
2022-12-09Remove unneeded field from `SwitchTargets`Jakob Degen-41/+10
2022-12-09Help rust-analyzer normalize query return typesMaybe Waffle-1/+97
2022-12-09Rollup merge of #105455 - lcnr:correct-reveal-in-validate, r=jackh726Matthias Krüger-0/+8
2022-12-08Rollup merge of #105423 - oli-obk:symbols, r=jackh726Matthias Krüger-2/+2
2022-12-08Rollup merge of #105317 - RalfJung:retag-rework, r=oli-obkMatthias Krüger-1/+1