summary refs log tree commit diff
path: root/compiler/rustc_middle/src
AgeCommit message (Expand)AuthorLines
2022-12-11Bump the const eval step limitOli Scherer-1/+1
2022-10-29Rollup merge of #103625 - WaffleLapkin:no_tyctxt_dogs_allowed, r=compiler-errorsGuillaume Gomez-15/+10
2022-10-29Rollup merge of #103618 - nnethercote:rename-OwnerId-fields, r=compiler-errorsGuillaume Gomez-20/+20
2022-10-29Rename some `OwnerId` fields.Nicholas Nethercote-20/+20
2022-10-29Auto merge of #102698 - michaelwoerister:unord-collections, r=lncrbors-3/+5
2022-10-29Auto merge of #102233 - petrochenkov:effvis, r=jackh726bors-87/+86
2022-10-28Auto merge of #103071 - wesleywiser:fix_inlined_line_numbers, r=davidtwcobors-1/+3
2022-10-27Revert "Make ClosureOutlivesRequirement not rely on an unresolved type"Michael Goulet-14/+12
2022-10-27Introduce UnordMap, UnordSet, and UnordBag (see MCP 533)Michael Woerister-3/+5
2022-10-27Accept `TyCtxt` instead of `TyCtxtAt` in `Ty::is_*` functionsMaybe Waffle-15/+10
2022-10-26privacy: Rename "accessibility levels" to "effective visibilities"Vadim Petrochenkov-87/+86
2022-10-26Rollup merge of #103428 - SarthakSingh31:issue-94187, r=compiler-errorsDylan DPC-3/+7
2022-10-26Auto merge of #103562 - Dylan-DPC:rollup-sheepp5, r=Dylan-DPCbors-22/+32
2022-10-26Rollup merge of #103520 - petrochenkov:resout, r=cjgillotDylan DPC-22/+32
2022-10-26Auto merge of #103279 - compiler-errors:normalize-hack-back, r=lcnrbors-2/+13
2022-10-26Auto merge of #103158 - Bryanskiy:resolve_perf, r=petrochenkovbors-33/+35
2022-10-25Auto merge of #102340 - JakobDegen:pass-manager-simplification, r=oli-obkbors-5/+34
2022-10-25Perf improvements for effective visibility calculatingBryanskiy-33/+35
2022-10-25rustc_middle: Rearrange resolver outputs structures slightlyVadim Petrochenkov-22/+32
2022-10-25Added helper to prevent verbose printing from the `PrettyPrinter` when printi...Sarthak Singh-3/+7
2022-10-23Rollup merge of #103414 - compiler-errors:rpit-print-lt, r=cjgillotMichael Howell-0/+10
2022-10-23Split phase change from `MirPass`Jakob Degen-5/+34
2022-10-23Add normalize hack backMichael Goulet-2/+13
2022-10-23Annotate static lifetimes tooMichael Goulet-9/+3
2022-10-23Auto merge of #103345 - Nilstrieb:diag-flat, r=compiler-errorsbors-10/+10
2022-10-23Migrate all diagnosticsNilstrieb-10/+10
2022-10-23Auto merge of #103426 - matthiaskrgr:rollup-n6dqdy8, r=matthiaskrgrbors-2/+24
2022-10-23Rollup merge of #103123 - compiler-errors:early-binder-iter, r=cjgillotMatthias Krüger-2/+24
2022-10-23Auto merge of #102660 - camsteffen:uninhabited-perf, r=oli-obkbors-301/+323
2022-10-22Pretty print lifetimes captured by RPITMichael Goulet-0/+16
2022-10-22Introduce InhabitedPredicateCameron Steffen-301/+323
2022-10-22Auto merge of #103227 - lcnr:bye-bye-unevaluated-const, r=oli-obkbors-84/+65
2022-10-22Introduce subst_iter and subst_iter_copied on EarlyBinderMichael Goulet-2/+24
2022-10-22Auto merge of #103196 - Nilstrieb:no-meta-query, r=cjgillotbors-11/+0
2022-10-22Auto merge of #103172 - pcwalton:deduced-param-attrs, r=oli-obkbors-1/+23
2022-10-21fix some typosRageking8-1/+1
2022-10-21Introduce deduced parameter attributes, and use them for deducing `readonly` onPatrick Walton-1/+23
2022-10-20Auto merge of #103220 - compiler-errors:deny-infers, r=lcnrbors-17/+28
2022-10-20Auto merge of #102417 - oli-obk:opaque_lifetimes2, r=jackh726bors-2/+75
2022-10-19Deny const variables as wellMichael Goulet-4/+11
2022-10-19Don't call `own_existential_vtable_entries` on unresolved trait refMichael Goulet-2/+2
2022-10-19Make ClosureOutlivesRequirement not rely on an unresolved typeMichael Goulet-12/+14
2022-10-19Don't hash non-fresh Ty::Infer or RegionKind::InferMichael Goulet-2/+4
2022-10-19Get rid of native_library projection queriesnils-11/+0
2022-10-19stop folding `UnevaluatedConst`lcnr-77/+5
2022-10-18Clean up query descriptionsnils-89/+92
2022-10-18`const_evaluatable_unchecked` to const evallcnr-1/+26
2022-10-18change `ConstEvaluatable` to use `ty::Const`lcnr-6/+34
2022-10-17Auto merge of #102355 - lcnr:bye-bye-type-traversal, r=oli-obkbors-185/+21
2022-10-17add inline to `TrivialTypeTraversalImpls`lcnr-14/+17