summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty/mod.rs
AgeCommit message (Expand)AuthorLines
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-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
2022-07-07`UnsafeCell` now has no niches, ever.Oli Scherer-9/+1
2022-07-05Relax constrained generics to TypeVisitableAlan Egerton-1/+1
2022-07-05Explicit TypeVisitable implementationsAlan Egerton-0/+2
2022-07-05Add #[derive(TypeVisitable)]Alan Egerton-49/+19
2022-07-05Split TypeVisitable from TypeFoldableAlan Egerton-3/+3
2022-07-05Rollup merge of #98624 - davidtwco:translation-on-lints, r=compiler-errorsDylan DPC-0/+6
2022-07-01Don't point at Self type if we can't find an infer variable in ambiguous trai...Michael Goulet-0/+8
2022-06-30lint: port drop trait/glue diagnosticsDavid Wood-0/+6
2022-06-22Rollup merge of #97895 - nbdd0121:unlikely, r=estebankYuki Okushi-1/+1
2022-06-19Auto merge of #98247 - jackh726:regionkind-rustc-type-ir, r=compiler-errorsbors-78/+1
2022-06-19Rollup merge of #98136 - fee1-dead-contrib:rename_impl_constness, r=oli-obkDylan DPC-1/+1
2022-06-19Move RegionKind to rustc_type_irJack Huey-78/+1
2022-06-18Remove `likely!` and `unlikely!` macro from compilerGary Guo-1/+1
2022-06-15Consume resolutions for lowering separately.Camille GILLOT-0/+5
2022-06-15Remove unused item_generics_num_lifetimes.Camille GILLOT-1/+0
2022-06-15Rename `impl_constness` to `constness`Deadbeef-1/+1
2022-06-14Separate `source_span` and `expn_that_defined` from `Definitions`.Camille GILLOT-1/+5
2022-06-14Make ResolverAstLowering a struct.Camille GILLOT-1/+28
2022-06-14Separate Definitions and CrateStore from ResolverOutputs.Camille GILLOT-3/+0
2022-06-14rebaseb-naber-1/+1
2022-06-14address reviewb-naber-1/+8
2022-06-14implement valtrees as the type-system representation for constant valuesb-naber-13/+19
2022-06-08publicly export `ty::subst` in `ty`lcnr-1/+1
2022-06-08Folding revamp.Nicholas Nethercote-3/+5