summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty/mod.rs
AgeCommit message (Expand)AuthorLines
2022-10-29Fix line numbers for MIR inlined codeWesley Wiser-1/+3
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
2022-08-01make `PlaceholderConst` not store the type of the constEllen-1/+1
2022-08-01move layout sanity check to its own fileRalf Jung-0/+1
2022-07-29remove some manual hash stable implslcnr-23/+3
2022-07-27safe transmute: revise `Hash`, `PartialEq` impls on `VariantDef`, `FieldDef`Jack Wrenn-12/+61
2022-07-27Initial (incomplete) implementation of transmutability trait.Jack Wrenn-1/+41
2022-07-26Fix diagnostics for unfulfilled obligationsDeadbeef-0/+8
2022-07-22Auto merge of #99521 - fee1-dead-contrib:const_fix_hax, r=oli-obkbors-0/+13
2022-07-22Auto merge of #99420 - RalfJung:vtable, r=oli-obkbors-1/+1
2022-07-21Fix `remap_constness`Deadbeef-10/+3
2022-07-21change `map_bound(|_| x` to `rebind(x`Deadbeef-1/+1
2022-07-20consistently use VTable over Vtable (matching stable stdlib API RawWakerVTable)Ralf Jung-1/+1
2022-07-20Fix hack that remaps env constness.Deadbeef-0/+13
2022-07-19Use LocalDefId in OpaqueTypeKeyMichael Goulet-2/+1
2022-07-15Propagate Expectation around binop typeck code to construct more precise trai...Will Crichton-0/+18
2022-07-14Rollup merge of #99000 - JulianKnodt:allow_resolve_no_substs, r=lcnrDylan DPC-0/+1
2022-07-13Rename `debugging_opts` to `unstable_opts`Joshua Nelson-2/+2
2022-07-13Rollup merge of #99011 - oli-obk:UnsoundCell, r=eddybDylan DPC-9/+1
2022-07-12Move abstract const to rustc_middle::tykadmin-0/+1
2022-07-08Auto merge of #98614 - oli-obk:take_unsound_opaque_types, r=wesleywiserbors-0/+1
2022-07-08Only register hidden types for opaque types from the current crate, nothing e...Oli Scherer-0/+1