about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty/structural_impls.rs
AgeCommit message (Expand)AuthorLines
2023-12-12Uplift TypeAndMutMichael Goulet-1/+0
2023-12-08Auto merge of #118725 - lcnr:normalizes-to-projection-split-3, r=BoxyUwUbors-0/+6
2023-12-07add unused `NormalizesTo` predicatelcnr-0/+6
2023-12-07ctfe interpreter: extend provenance so that it can track whether a pointer is...Ralf Jung-1/+2
2023-11-20Uplift InferConst to rustc_type_irMichael Goulet-28/+0
2023-11-14finish `RegionKind` renamelcnr-3/+3
2023-10-25Uplift Canonical to rustc_type_irMichael Goulet-1/+0
2023-10-25Auto merge of #116993 - compiler-errors:clause-kind, r=jackh726bors-38/+0
2023-10-24Get rid of 'tcx on ConstVid, EffectVidMichael Goulet-18/+6
2023-10-24Rollup merge of #117091 - compiler-errors:debug, r=lcnrMatthias Krüger-30/+30
2023-10-23Remove redundant type parameterMichael Goulet-30/+30
2023-10-23Naming nitsMichael Goulet-22/+22
2023-10-21Make `ty::print::Printer` take `&mut self` instead of `self`Nilstrieb-13/+10
2023-10-20Uplift ClauseKind and PredicateKindMichael Goulet-38/+0
2023-10-20s/Generator/Coroutine/Oli Scherer-6/+6
2023-09-24Remove span from BrAnon.Camille GILLOT-1/+1
2023-09-23Remove GeneratorWitness and rename GeneratorWitnessMIR.Camille GILLOT-5/+3
2023-09-21coverage: Don't bother renumbering expressions on the Rust sideZalathar-1/+0
2023-09-19adjust constValue::Slice to work for arbitrary slice typesRalf Jung-0/+1
2023-09-18Remove more unused `Lift` impls.Nicholas Nethercote-96/+25
2023-09-18Rename `CloneLiftImpls` as `TrivialLiftImpls`.Nicholas Nethercote-1/+1
2023-09-16make ty::Const debug printing less verboseRalf Jung-6/+20
2023-09-14use AllocId instead of Allocation in ConstValue::ByRefRalf Jung-0/+1
2023-09-11Rollup merge of #115727 - fee1-dead-contrib:effect-fallback, r=oli-obkMatthias Krüger-0/+8
2023-09-11Disentangle `Debug` and `Display` for `Ty`.Nicholas Nethercote-1/+1
2023-09-10Implement fallback for effect paramDeadbeef-0/+8
2023-08-17Revert "Implement references VarDebugInfo."Camille GILLOT-1/+0
2023-08-02Remove constness from `TraitPredicate`Deadbeef-3/+1
2023-08-01Make coverage counter IDs count up from 0, not 1Zalathar-1/+1
2023-08-01Make coverage expression IDs count up from 0, not down from `u32::MAX`Zalathar-2/+1
2023-08-01Replace `ExpressionOperandId` with enum `Operand`Zalathar-1/+0
2023-07-30inline format!() args up to and including rustc_middleMatthias Krüger-6/+6
2023-07-27Remove `constness` from `ParamEnv`Deadbeef-1/+1
2023-07-14refactor(rustc_middle): Substs -> GenericArgMahdi Dibaiee-17/+17
2023-07-11Auto merge of #112984 - BoxyUwU:debug_with_infcx, r=compiler-errorsbors-12/+179
2023-07-07Rename `adjustment::PointerCast` and variants using it to `PointerCoercion`Nilstrieb-1/+1
2023-07-06Add a new trait to `Debug` things with an infcx availableBoxy-12/+179
2023-07-05Deal with falloutBoxy-2/+26
2023-07-05move `ConstKind` to typeir and move inherent impls to `Const`Boxy-18/+0
2023-07-04Replace `mk_const` with `Const::new_x` methodsBoxy-1/+1
2023-07-03remove TypeWellFormedFromEnvMichael Goulet-3/+0
2023-06-26TypeWellFormedInEnvMichael Goulet-3/+3
2023-06-26Migrate predicates_of and caller_bounds to ClauseMichael Goulet-9/+0
2023-06-22Expect clause moreMichael Goulet-4/+1
2023-06-22Migrate item_bounds to ty::ClauseMichael Goulet-0/+9
2023-06-19Fully fledged Clause typeMichael Goulet-0/+25
2023-06-19s/Clause/ClauseKindMichael Goulet-8/+8
2023-06-17Move ConstEvaluatable to ClauseMichael Goulet-3/+3
2023-06-17Move WF goal to clauseMichael Goulet-1/+1
2023-05-26better `TyKind::Debug`Boxy-7/+52
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-01-12 16:51:23 +0000