about summary refs log tree commit diff
path: root/compiler/rustc_middle
AgeCommit message (Expand)AuthorLines
2022-09-14address review againb-naber-16/+18
2022-09-14Improve error message for unsupported cratehanar3-2/+3
2022-09-14change AccessLevels representationBryanskiy-6/+87
2022-09-14Rollup merge of #101433 - jackh726:better-static-placeholder-error, r=compile...Dylan DPC-5/+35
2022-09-14Auto merge of #101307 - jyn514:simplify-storage, r=cjgillotbors-58/+51
2022-09-13Better errors for implied static boundJack Huey-5/+35
2022-09-13Address code review commentsEric Holk-6/+5
2022-09-13Auto merge of #101777 - matthiaskrgr:rollup-x2dyaa2, r=matthiaskrgrbors-0/+10
2022-09-13Rollup merge of #101765 - GuillaumeGomez:tyctxt-visibility-doc, r=jyn514Matthias Krüger-0/+10
2022-09-13Auto merge of #101086 - cjgillot:thir-param, r=oli-obkbors-17/+28
2022-09-13Also compute implicit params in THIR.Camille GILLOT-3/+5
2022-09-13Compute explicit MIR params on THIR.Camille GILLOT-0/+25
2022-09-13Only keep one version of ImplicitSelfKind.Camille GILLOT-17/+1
2022-09-13address reviewb-naber-11/+3
2022-09-13remove visit_const from mir visitorsb-naber-17/+13
2022-09-13fixes/working versionb-naber-1/+5
2022-09-13use ty::Unevaluated<'tcx, ()> in type systemb-naber-40/+98
2022-09-13Auto merge of #101615 - compiler-errors:rpitit-perf, r=oli-obkbors-2/+2
2022-09-13Add documentation for TyCtxt::visibilityGuillaume Gomez-0/+10
2022-09-13Auto merge of #96709 - jackh726:gats-stabilization, r=compiler-errorsbors-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/+38
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 #101681 - compiler-errors:rpitit-obj-safety, r=lcnrDylan DPC-0/+9
2022-09-12Rollup merge of #100767 - kadiwa4:escape_ascii, r=jackh726Dylan DPC-17/+2
2022-09-12Auto merge of #100251 - compiler-errors:tuple-trait-2, r=jackh726bors-2/+14
2022-09-12Auto merge of #101688 - cjgillot:verify-hir-parent, r=petrochenkovbors-0/+2
2022-09-11Assert that HIR nodes are not their own parent.Camille GILLOT-0/+2
2022-09-11Deny RPITIT for object safetyMichael Goulet-0/+9
2022-09-10Auto merge of #98559 - jackh726:remove-reempty, r=oli-obkbors-24/+3
2022-09-10Rollup merge of #101578 - lcnr:resolve-hack, r=jackh726Dylan DPC-6/+3
2022-09-10split compare_predicate_entailment and collect_trait_impl_trait_tys outMichael Goulet-2/+2
2022-09-09Don't use a custom disk loader for diagnostic_only_typeckJoshua Nelson-7/+0
2022-09-09Make the `storage` query modifier less generalJoshua Nelson-51/+51
2022-09-09Rollup merge of #101573 - lcnr:param-kind-ord, r=BoxyUwUDylan DPC-2/+3
2022-09-09rename `codegen_fulfill_obligation`lcnr-6/+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-5/+15
2022-09-09Deeply check that method signatures match, and allow for nested RPITITsMichael Goulet-0/+24
2022-09-09Lower RPITIT to ImplTraitPlaceholder itemMichael Goulet-3/+7
2022-09-09RPITIT placeholder itemsMichael Goulet-0/+2
2022-09-08Remove ReEmptyJack Huey-16/+2
2022-09-08In ReverseMapper, don't fallback to ReEmpty, instead ReStaticJack Huey-8/+1