summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty/mod.rs
AgeCommit message (Expand)AuthorLines
2022-10-29Auto merge of #102233 - petrochenkov:effvis, r=jackh726bors-2/+2
2022-10-28Auto merge of #103071 - wesleywiser:fix_inlined_line_numbers, r=davidtwcobors-1/+3
2022-10-26privacy: Rename "accessibility levels" to "effective visibilities"Vadim Petrochenkov-2/+2
2022-10-25rustc_middle: Rearrange resolver outputs structures slightlyVadim Petrochenkov-1/+10
2022-10-23Auto merge of #102660 - camsteffen:uninhabited-perf, r=oli-obkbors-1/+1
2022-10-22Introduce InhabitedPredicateCameron Steffen-1/+1
2022-10-22Auto merge of #103227 - lcnr:bye-bye-unevaluated-const, r=oli-obkbors-1/+1
2022-10-21Introduce deduced parameter attributes, and use them for deducing `readonly` onPatrick Walton-1/+1
2022-10-18change `ConstEvaluatable` to use `ty::Const`lcnr-1/+1
2022-10-14Fix line numbers for MIR inlined codeWesley Wiser-1/+3
2022-10-14Require lifetime bounds for opaque types in order to allow hidden types to ca...Oli Scherer-2/+75
2022-10-13Auto merge of #102700 - oli-obk:0xDEAD_TAIT, r=compiler-errorsbors-0/+29
2022-10-12Use `tidy-alphabetical` in the compilerNilstrieb-1/+2
2022-10-07Remap hidden types from typeck before storing them in the TypeckResultOli Scherer-1/+3
2022-10-07Move ReverseMapper logic onto OpaqueHiddenTypeOli Scherer-0/+27
2022-10-03Move utils from rustc_middle to rustc_ty_utilsCameron Steffen-2/+0
2022-09-23rename Unevaluated to UnevaluatedConstb-naber-2/+2
2022-09-22introduce mir::Unevaluatedb-naber-1/+1
2022-09-22Auto merge of #100982 - fee1-dead-contrib:const-impl-requires-const-trait, r=...bors-0/+5
2022-09-19remove the `Subst` trait, always use `EarlyBinder`lcnr-3/+3
2022-09-16remap ParamEnv with obligationDeadbeef-0/+5
2022-09-15Replace more manual TypeFoldable and TypeVisitable impls with derivesOli Scherer-3/+2
2022-09-15derive various Lift impl instead of hand rolling themOli Scherer-7/+7
2022-09-14Auto merge of #101212 - eholk:dyn-star, r=compiler-errorsbors-0/+7
2022-09-13Auto merge of #99556 - davidtwco:collapse-debuginfo, r=wesleywiserbors-0/+17
2022-09-12Rename some variantsMichael Goulet-0/+1
2022-09-12dyn* through more typechecking and MIREric Holk-0/+6
2022-09-09Deeply check that method signatures match, and allow for nested RPITITsMichael Goulet-0/+8
2022-09-08ptr: 43276834268743978Ellen-1/+14
2022-09-08Rollup merge of #101498 - petrochenkov:visparam, r=cjgillotDylan DPC-24/+37
2022-09-07Auto merge of #101432 - nnethercote:shrink-PredicateS, r=lcnrbors-25/+107
2022-09-07ssa: implement `#[collapse_debuginfo]`David Wood-0/+17
2022-09-07rustc: Parameterize `ty::Visibility` over used IDVadim Petrochenkov-24/+37
2022-09-06Rollup merge of #101021 - MingyuChen1:diagnostic, r=davidtwcoDylan DPC-13/+11
2022-09-06Rollup merge of #100658 - chenyukang:100631-check-get-attr, r=lcnrDylan DPC-1/+5
2022-09-06get_attr should check that no duplicates are allowedyukang-1/+5
2022-09-05Remove generics_def_id_map from the resolver.Camille GILLOT-5/+0
2022-09-05Pack `Term` in the same way as `GenericArg`.Nicholas Nethercote-13/+97
2022-09-05Put size assertions together.Nicholas Nethercote-13/+11
2022-09-01Migrate OpaqueHiddenType mismatch111-13/+11
2022-08-27rustc_middle: Remove `Visibility::Invisible`Vadim Petrochenkov-6/+0
2022-08-09don't normalize wf predicateslcnr-0/+23
2022-08-07Auto merge of #99983 - RalfJung:more-layout-checks, r=eddybbors-0/+1
2022-08-04Document generics_def_id_map field and record/get methods on itSantiago Pastorino-1/+4
2022-08-04Implement def_id based remappingSantiago Pastorino-0/+2
2022-08-02Auto merge of #92268 - jswrenn:transmute, r=oli-obkbors-1/+90
2022-08-02Auto merge of #100032 - BoxyUwU:no_ty_in_placeholder_const, r=compiler-errorsbors-1/+1
2022-08-01Remove trait_of_item query.Camille GILLOT-1/+20
2022-08-01Remove DefId from AssocItemContainer.Camille GILLOT-4/+1
2022-08-01Store associated item defaultness in impl_defaultness.Camille GILLOT-1/+1