about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty/sty.rs
AgeCommit message (Expand)AuthorLines
2024-01-10Simplify some redundant namesMichael Goulet-3/+3
2023-12-29Auto merge of #119392 - compiler-errors:args-parts, r=Nilstriebbors-58/+48
2023-12-28make ClosureArgsParts not genericMichael Goulet-58/+48
2023-12-28Remove movability from TyKind::CoroutineMichael Goulet-6/+5
2023-12-24Remove `Session` methods that duplicate `DiagCtxt` methods.Nicholas Nethercote-2/+2
2023-12-15Rollup merge of #118888 - compiler-errors:uplift-more-things, r=jackh726Matthias Krüger-8/+12
2023-12-15Change `msg: impl Into<String>` for bug diagnostics.Nicholas Nethercote-2/+4
2023-12-14Move special methods from ClosureKind back into rustcMichael Goulet-0/+9
2023-12-12Uplift TypeAndMutMichael Goulet-8/+3
2023-12-08FeedbackMichael Goulet-2/+2
2023-12-08Uplift canonicalizer into new trait solver crateMichael Goulet-1/+9
2023-12-06Yeet PolyGenSigMichael Goulet-12/+0
2023-12-02Rename `HandlerInner::delay_span_bug` as `HandlerInner::span_delayed_bug`.Nicholas Nethercote-6/+6
2023-11-22Replace `no_ord_impl` with `orderable`.Nicholas Nethercote-0/+1
2023-11-22Replace `custom_encodable` with `encodable`.Nicholas Nethercote-0/+1
2023-11-22Auto merge of #117582 - compiler-errors:uplift-canonical-var, r=jackh726bors-6/+1
2023-11-21Fix `clippy::needless_borrow` in the compilerNilstrieb-4/+4
2023-11-21Uplift BoundVarMichael Goulet-6/+1
2023-11-20Uplift InferConst to rustc_type_irMichael Goulet-18/+0
2023-11-17Auto merge of #117944 - lcnr:region-refactor-uwu, r=BoxyUwUbors-1/+1
2023-11-17Auto merge of #117278 - lcnr:try-normalize-ty, r=compiler-errorsbors-0/+22
2023-11-17rename bound region instantiationlcnr-1/+1
2023-11-14review + fix CIlcnr-1/+1
2023-11-14finish `RegionKind` renamelcnr-26/+32
2023-11-13update type flagslcnr-1/+1
2023-11-13rename `ReLateBound` to `ReBound`lcnr-9/+9
2023-11-09rework alias-relate to `norm(lhs) == norm(rhs)`lcnr-0/+22
2023-10-25Auto merge of #116993 - compiler-errors:clause-kind, r=jackh726bors-0/+4
2023-10-24Get rid of 'tcx on ConstVid, EffectVidMichael Goulet-19/+14
2023-10-23Remove redundant type parameterMichael Goulet-2/+2
2023-10-23Naming nitsMichael Goulet-2/+2
2023-10-20Uplift ClauseKind and PredicateKindMichael Goulet-0/+4
2023-10-20s/generator/coroutine/Oli Scherer-41/+41
2023-10-20s/Generator/Coroutine/Oli Scherer-36/+36
2023-10-20Adjust importsMichael Goulet-1/+1
2023-10-18AliasTy::new instead of tcx methodlcnr-7/+19
2023-10-15Auto merge of #116688 - compiler-errors:rustfmt-up, r=WaffleLapkin,Nilstriebbors-1/+6
2023-10-14Fix a spot I wrote the wrong wordScott McMurray-1/+1
2023-10-13Format all the let chains in compilerMichael Goulet-1/+6
2023-09-29a small wf and clause cleanuplcnr-1/+1
2023-09-26Don't store lazyness in DefKindMichael Goulet-2/+2
2023-09-24Remove span from BrAnon.Camille GILLOT-3/+3
2023-09-23Remove GeneratorWitness and rename GeneratorWitnessMIR.Camille GILLOT-15/+3
2023-09-22Auto merge of #115696 - RalfJung:closure-ty-print, r=oli-obkbors-1/+1
2023-09-22Add note to is_known_rigidMichael Goulet-0/+5
2023-09-21adjust how closure/generator types and rvalues are printedRalf Jung-1/+1
2023-09-20remove `impl<'tcx> ToPredicate<'tcx, Clause<'tcx>> for PolyProjectionPredicat...Ziru Niu-1/+1
2023-09-19Don't resolve generic instances if they may be shadowed by dynMichael Goulet-0/+27
2023-09-18Remove unused `Lift` derives.Nicholas Nethercote-2/+2
2023-09-12Auto merge of #115699 - RalfJung:interpret-abi-compat, r=oli-obkbors-1/+3