summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits/project.rs
AgeCommit message (Expand)AuthorLines
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
2022-11-27Prefer doc comments over `//`-comments in compilerMaybe Waffle-1/+1
2022-11-25Remove SelectionContext::infcx() in favor of field accessMichael Goulet-29/+25
2022-11-25Auto merge of #104902 - matthiaskrgr:rollup-oo27a4u, r=matthiaskrgrbors-176/+156
2022-11-25move 2 candidates into builtin candidatelcnr-176/+156
2022-11-25Introduce PredicateKind::ClauseSantiago Pastorino-1/+3
2022-11-25get rid of to_poly_trait_predicateOli Scherer-3/+2
2022-11-24Avoid `GenFuture` shim when compiling async constructsArpad Borsos-1/+46
2022-11-24Auto merge of #104610 - ouz-a:revert-overflow, r=compiler-errorsbors-16/+0
2022-11-21Stop passing the self-type as a separate argument.Oli Scherer-6/+4
2022-11-21Add helper to create the trait ref for a lang itemOli Scherer-5/+5
2022-11-21Allow iterators instead of requiring slices that will get turned into iteratorsOli Scherer-2/+2
2022-11-21Assert that various types have the right amount of generic args and fix the s...Oli Scherer-4/+5
2022-11-19revert-overflowouz-a-16/+0
2022-11-18Revert "Normalize opaques with escaping bound vars"Michael Goulet-1/+1
2022-11-16Convert predicates into Predicate in the Obligation constructorOli Scherer-15/+16
2022-11-08Rollup merge of #103827 - compiler-errors:rpitit-substs-compat, r=wesleywiserManish Goregaokar-3/+22
2022-11-07Don't normalize constants unless they need normalizationMichael Goulet-1/+1
2022-11-04Refactor tcx mk_const parameters.Mateusz-8/+3
2022-11-01Remap RPITIT substs properlyMichael Goulet-0/+7
2022-11-01Check for substs compatibility for RPITITsMichael Goulet-3/+15
2022-10-21fix some typosRageking8-1/+1
2022-10-15Fix subst issues with RPITITMichael Goulet-1/+4
2022-10-14more dupe word typosRageking8-1/+1