summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty
AgeCommit message (Expand)AuthorLines
2022-07-09Only register hidden types for opaque types from the current crate, nothing e...Oli Scherer-0/+1
2022-07-09Make `evaluate_obligation` not succeed unconditionally if it registered new h...Oli Scherer-5/+0
2022-07-09pessimistically treat all function items as containing an opaque typeOli Scherer-0/+5
2022-06-24Rollup merge of #98280 - compiler-errors:better-call-closure-on-type-err, r=e...Yuki Okushi-1/+1
2022-06-24Rollup merge of #96955 - Aaron1011:pretty-print-sort, r=petrochenkovYuki Okushi-11/+10
2022-06-23Rollup merge of #98365 - jyn514:improve-obligation-errors-review-comments, r=...Michael Goulet-1/+15
2022-06-22Remove (transitive) reliance on sorting by DefId in pretty-printerAaron Hill-11/+10
2022-06-22Rollup merge of #97895 - nbdd0121:unlikely, r=estebankYuki Okushi-1/+1
2022-06-21Improve suggestion for calling closure on type mismatchMichael Goulet-1/+1
2022-06-21Address review comments from #98259Joshua Nelson-1/+15
2022-06-20`try_fold_unevaluated` for infallible foldersAlan Egerton-0/+7
2022-06-19Auto merge of #98247 - jackh726:regionkind-rustc-type-ir, r=compiler-errorsbors-311/+40
2022-06-19Rollup merge of #98136 - fee1-dead-contrib:rename_impl_constness, r=oli-obkDylan DPC-2/+2
2022-06-19Move RegionKind to rustc_type_irJack Huey-311/+40
2022-06-18Remove `likely!` and `unlikely!` macro from compilerGary Guo-1/+1
2022-06-17Auto merge of #98106 - cjgillot:split-definitions, r=michaelwoeristerbors-38/+104
2022-06-15Consume resolutions for lowering separately.Camille GILLOT-0/+5
2022-06-15Remove unused item_generics_num_lifetimes.Camille GILLOT-1/+0
2022-06-15Rename `impl_constness` to `constness`Deadbeef-2/+2
2022-06-15Rollup merge of #98110 - cjgillot:closure-brace, r=Aaron1011Yuki Okushi-1/+1
2022-06-14Separate `source_span` and `expn_that_defined` from `Definitions`.Camille GILLOT-7/+49
2022-06-14Make ResolverAstLowering a struct.Camille GILLOT-1/+28
2022-06-14Separate Definitions and CrateStore from ResolverOutputs.Camille GILLOT-42/+35
2022-06-14rebaseb-naber-58/+24
2022-06-14rebaseb-naber-1/+1
2022-06-14address reviewb-naber-1/+3
2022-06-14address reviewb-naber-4/+10
2022-06-14fix clippy test failuresb-naber-0/+8
2022-06-14implement valtrees as the type-system representation for constant valuesb-naber-193/+275
2022-06-14Rename the `ConstS::val` field as `kind`.Nicholas Nethercote-51/+51
2022-06-13Rollup merge of #97709 - compiler-errors:normalize-const-param-ty, r=oli-obkMatthias Krüger-4/+9
2022-06-11Address commentsMichael Goulet-17/+24
2022-06-11Make is_suggestable work on all TypeFoldableMichael Goulet-14/+47
2022-06-11Handle empty where-clause betterMichael Goulet-9/+4
2022-06-11Make Ty::is_suggestable use a visitorMichael Goulet-69/+69
2022-06-12Make `ExprKind::Closure` a struct variant.Camille GILLOT-1/+1
2022-06-11Rollup merge of #97703 - lcnr:post-89862, r=estebankDylan DPC-55/+54
2022-06-10don't always cache bound ltslcnr-9/+18
2022-06-10replace bound vars: make caching explicitlcnr-9/+6
2022-06-10`BoundVarReplacer` remove `Option`lcnr-45/+36
2022-06-08Auto merge of #94732 - nnethercote:infallible-encoder, r=bjorn3bors-35/+30
2022-06-08note that methods should only be used for diagslcnr-0/+4
2022-06-08dedup diagnostics default params handlinglcnr-54/+49
2022-06-08publicly export `ty::subst` in `ty`lcnr-1/+1
2022-06-08Folding revamp.Nicholas Nethercote-209/+191
2022-06-08Add `try_fold_uenevaluted`.Nicholas Nethercote-10/+20
2022-06-08Add `TypeVisitor::visit_mir_const`.Nicholas Nethercote-0/+4
2022-06-08Remove `EarlyBinder::{try_fold_with,visit_with}`.Nicholas Nethercote-8/+0
2022-06-08Use `super_visit_with` in a couple of `visit_binder` methods.Nicholas Nethercote-1/+1
2022-06-08Rename `TypeVisitor::visit_unevaluated_const`.Nicholas Nethercote-4/+4