about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty/structural_impls.rs
AgeCommit message (Expand)AuthorLines
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
2023-05-16format `Const`'s less verboselyBoxy-0/+38
2023-05-13Implement references VarDebugInfo.Camille GILLOT-0/+1
2023-04-27Rollup merge of #110838 - nnethercote:more-Folder-Visitable-cleanups, r=lcnrMatthias Krüger-20/+0
2023-04-26Remove unused `TypeFoldable`/`TypeVisitable` impls.Nicholas Nethercote-20/+0
2023-04-25vars are ?Michael Goulet-1/+1
2023-04-24Split `{Idx, IndexVec, IndexSlice}` into their own modulesMaybe Waffle-1/+1
2023-04-17Spelling - compilerJosh Soref-1/+1
2023-04-17Rollup merge of #110386 - nnethercote:clean-up-traversal-macros, r=lcnrMatthias Krüger-3/+1
2023-04-16Simplify `CloneLiftImpls` and `TrivialTypeTraversalImpls`.Nicholas Nethercote-3/+1
2023-04-16Remove `TypeSuper{Foldable,Visitable}` impls for `Region`.Nicholas Nethercote-18/+0
2023-04-06Remove index from BrAnonJack Huey-1/+1
2023-04-06Use BoundTy and BoundRegion instead of kind of PlaceholderTy and PlaceholderR...Jack Huey-2/+2
2023-03-28Move `mir::Field` → `abi::FieldIdx`Scott McMurray-2/+2
2023-03-23Printing alias-relate goals correctlyMichael Goulet-2/+3
2023-03-23Rename AliasEq -> AliasRelateMichael Goulet-1/+1
2023-03-23Include relation direction in AliasEq predicateMichael Goulet-1/+3
2023-02-26Access upvars through a query.Camille GILLOT-0/+1
2023-02-24Rename `mk_{ty,region}` as `mk_{ty,region}_from_kind`.Nicholas Nethercote-1/+1
2023-02-24Rename many interner functions.Nicholas Nethercote-4/+4
2023-02-22Remove type-traversal trait aliasesAlan Egerton-54/+113
2023-02-18Auto merge of #108112 - nnethercote:clarify-iterator-interners, r=oli-obk,com...bors-1/+1
2023-02-17Replace `mk_foo` calls with `infer_foo` where possible.Nicholas Nethercote-1/+1
2023-02-17Add `Clause::ConstArgHasType` variantBoxy-0/+1
2023-02-13Rename folder traits' `tcx` method to `interner`Alan Egerton-3/+3