summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty
AgeCommit message (Expand)AuthorLines
2022-10-29Add normalize hack backMichael Goulet-2/+13
2022-10-29Fix line numbers for MIR inlined codeWesley Wiser-1/+3
2022-10-06Revert "Auto merge of #101620 - cjgillot:compute_lint_levels_by_def, r=oli-obk"Camille GILLOT-5/+41
2022-10-04Fix wrongly refactored Lift implOli Scherer-1/+4
2022-09-17Auto merge of #101857 - lcnr:make-dyn-again, r=jackh726bors-17/+13
2022-09-17Auto merge of #98588 - b-naber:valtrees-cleanup, r=lcnrbors-19/+29
2022-09-15Merge all `TypeVisitable for &List<T>` impls into one generic oneOli Scherer-27/+1
2022-09-15Replace more manual TypeFoldable and TypeVisitable impls with derivesOli Scherer-108/+14
2022-09-15change `FnMutDelegate` to trait objectslcnr-17/+13
2022-09-15Resolve a FIXMEOli Scherer-8/+4
2022-09-15derive various Lift impl instead of hand rolling themOli Scherer-355/+30
2022-09-15Auto merge of #101620 - cjgillot:compute_lint_levels_by_def, r=oli-obkbors-41/+5
2022-09-14Auto merge of #101212 - eholk:dyn-star, r=compiler-errorsbors-20/+85
2022-09-14Move some code and add comments.Camille GILLOT-39/+4
2022-09-14Compute `lint_levels` by definitionDeadbeef-14/+13
2022-09-14address review againb-naber-0/+11
2022-09-14Rollup merge of #101433 - jackh726:better-static-placeholder-error, r=compile...Dylan DPC-1/+15
2022-09-14Auto merge of #101307 - jyn514:simplify-storage, r=cjgillotbors-2/+2
2022-09-13Better errors for implied static boundJack Huey-1/+15
2022-09-13Address code review commentsEric Holk-6/+5
2022-09-13use ty::Unevaluated<'tcx, ()> in type systemb-naber-19/+18
2022-09-13Auto merge of #101615 - compiler-errors:rpitit-perf, r=oli-obkbors-1/+1
2022-09-13Auto merge of #99556 - davidtwco:collapse-debuginfo, r=wesleywiserbors-1/+18
2022-09-12Make dyn-trait-method workMichael Goulet-3/+16
2022-09-12Rename some variantsMichael Goulet-19/+13
2022-09-12Construct dyn* during const interpMichael Goulet-8/+2
2022-09-12Call destructors when dyn* object goes out of scopeEric Holk-3/+14
2022-09-12dyn* through more typechecking and MIREric Holk-2/+35
2022-09-12Typecheck dyn* coercionsEric Holk-2/+10
2022-09-12Plumb dyn trait representation through ty::DynamicEric Holk-14/+27
2022-09-12Rollup merge of #100767 - kadiwa4:escape_ascii, r=jackh726Dylan DPC-8/+1
2022-09-10Auto merge of #98559 - jackh726:remove-reempty, r=oli-obkbors-24/+3
2022-09-10split compare_predicate_entailment and collect_trait_impl_trait_tys outMichael Goulet-1/+1
2022-09-09Make the `storage` query modifier less generalJoshua Nelson-2/+2
2022-09-09Rollup merge of #101573 - lcnr:param-kind-ord, r=BoxyUwUDylan DPC-2/+3
2022-09-09Auto merge of #101603 - matthiaskrgr:rollup-8y6kf20, r=matthiaskrgrbors-3/+5
2022-09-09Rollup merge of #101556 - compiler-errors:tweak-generator-print, r=jackh726Matthias Krüger-3/+5
2022-09-09Adjust pretty printing of RPITITsMichael Goulet-1/+7
2022-09-09Handle generic parameters.Camille GILLOT-1/+1
2022-09-09Deeply check that method signatures match, and allow for nested RPITITsMichael Goulet-0/+15
2022-09-09Lower RPITIT to ImplTraitPlaceholder itemMichael Goulet-3/+7
2022-09-08Remove ReEmptyJack Huey-16/+2
2022-09-08In ReverseMapper, don't fallback to ReEmpty, instead ReStaticJack Huey-8/+1
2022-09-08ptr: 43276834268743978Ellen-1/+14
2022-09-08Rollup merge of #101424 - compiler-errors:operator-err-sugg, r=TaKO8KiDylan DPC-1/+13
2022-09-08Rollup merge of #101041 - LuisCardosoOliveira:translation-rename-attr-warning...Dylan DPC-1/+1
2022-09-08Rollup merge of #98933 - oli-obk:opaque_type_late_bound_lifetimes, r=lcnrDylan DPC-1/+1
2022-09-08update `ParamKindOrd`lcnr-2/+3
2022-09-08Auto merge of #98900 - lcnr:region-stuff, r=jackh726bors-4/+1
2022-09-08don't evaluate with escaping bound varslcnr-0/+1