summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits/project.rs
AgeCommit message (Expand)AuthorLines
2023-03-03Match unmatched backticks in compiler/ that are part of rustdocest31-1/+1
2023-02-28Descriptive error when users try to combine RPITIT/AFIT with specializationMichael Goulet-20/+4
2023-02-27Rollup merge of #108319 - compiler-errors:dont-project-to-specializable-rpiti...Matthias Krüger-5/+22
2023-02-24Rename many interner functions.Nicholas Nethercote-1/+1
2023-02-23Don't project specializable RPITIT projectionMichael Goulet-5/+22
2023-02-22Rename ty_error_with_guaranteed to ty_error, ty_error to ty_error_miscMichael Goulet-7/+4
2023-02-22Use ty_error_with_guaranteed in many more placesMichael Goulet-9/+14
2023-02-22Remove type-traversal trait aliasesAlan Egerton-15/+23
2023-02-21Make hidden type registration opt-in, so that each site can be reviewed on it...Oli Scherer-1/+6
2023-02-18Remove default trait RPITIT candidatesMichael Goulet-33/+3
2023-02-18Auto merge of #108112 - nnethercote:clarify-iterator-interners, r=oli-obk,com...bors-1/+1
2023-02-17Auto merge of #108075 - WaffleLapkin:de-arena-allocates-you-OwO, r=Nilstriebbors-3/+3
2023-02-17Replace `mk_foo` calls with `infer_foo` where possible.Nicholas Nethercote-1/+1
2023-02-16remove bound_type_of query; make type_of return EarlyBinder; change type_of i...Kyle Matsuda-2/+2
2023-02-15Copy `ty::AssocItem` all other the placeMaybe Waffle-3/+3
2023-02-15Add specialized variants of `mk_region`.Nicholas Nethercote-2/+2
2023-02-13Rename folder traits' `tcx` method to `interner`Alan Egerton-9/+9
2023-02-13Make folding traits generic over the InternerAlan Egerton-3/+3
2023-02-13Alias folding/visiting traits instead of re-exportAlan Egerton-1/+1
2023-02-13Reduce direct `mk_ty` usage.Nicholas Nethercote-2/+2
2023-02-07Replacing bound vars is actually instantiating a binderMichael Goulet-2/+2
2023-01-30Track bound types like bound regionsMichael Goulet-1/+1
2023-01-27Introduce GeneratorWitnessMIR.Camille GILLOT-0/+2
2023-01-17Rollup merge of #106970 - kylematsuda:earlybinder-item-bounds, r=lcnrMatthias Krüger-1/+1
2023-01-17Rollup merge of #104505 - WaffleLapkin:no-double-spaces-in-comments, r=jackh726Matthias Krüger-2/+2
2023-01-17change item_bounds query to return EarlyBinder; remove bound_item_bounds queryKyle Matsuda-1/+1
2023-01-17Remove double spaces after dots in commentsMaybe Waffle-2/+2
2023-01-15Make InstantiatedPredicates impl IntoIteratorMichael Goulet-19/+17
2023-01-15instantiate_own doesn't need to return a pair of vectorsMichael Goulet-2/+2
2023-01-11Change `src/test` to `tests` in source files, fix tidy and testsAlbert Larsan-1/+1
2022-12-28better names and a commentMichael Goulet-1/+1
2022-12-19implement the skeleton of the updated trait solverlcnr-56/+3
2022-12-14Prevent the creation of `TraitRef` without dedicated methodsOli Scherer-2/+1
2022-12-14Ensure no one constructs `AliasTy`s themselvesOli Scherer-1/+1
2022-12-14Guard `AliasTy` creation against passing the wrong number of substsOli Scherer-13/+5
2022-12-13Address nitsMichael Goulet-6/+1
2022-12-13Combine identical alias armsMichael Goulet-5/+3
2022-12-13Combine projection and opaque into aliasMichael Goulet-10/+14
2022-12-13squash OpaqueTy and ProjectionTy into AliasTyMichael Goulet-10/+10
2022-12-13ProjectionTy.item_def_id -> ProjectionTy.def_idMichael Goulet-33/+28
2022-12-13Use ty::OpaqueTy everywhereMichael Goulet-2/+4
2022-12-06Rollup merge of #105342 - compiler-errors:note_cause_code-takes-predicate, r=...Matthias Krüger-7/+5
2022-12-06Avoid noting cause code (which is usually misc, b/c codegen) for opaque type ...Michael Goulet-7/+5
2022-12-05Point at GAT where clause when unsatisfiedMichael Goulet-5/+25
2022-12-01Document normalization methods on AtMichael Goulet-33/+7
2022-11-30Auto merge of #104905 - compiler-errors:normalization-changes, r=spastorinobors-5/+19
2022-11-28Make normalize and normalize_to pub(crate)Michael Goulet-5/+5
2022-11-28partially_normalize_... -> At::normalizeMichael Goulet-0/+14
2022-11-28Simplify calls to `tcx.mk_const`Maybe Waffle-1/+1
2022-11-28Rollup merge of #104907 - compiler-errors:selcx-infcx, r=oli-obkDylan DPC-29/+25