summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits/project.rs
AgeCommit message (Expand)AuthorLines
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
2022-10-12Auto merge of #101679 - compiler-errors:rpitit-default-body, r=nikomatsakisbors-3/+45
2022-10-10Fix compiler docsGuillaume Gomez-2/+3
2022-10-10Rollup merge of #102786 - compiler-errors:no-tuple-candidate, r=lcnrDylan DPC-4/+2
2022-10-07Remove tuple candidate, nothing special about itMichael Goulet-4/+2
2022-10-07Remove TypeckResults from InferCtxtCameron Steffen-5/+5
2022-10-07Introduce TypeErrCtxtCameron Steffen-3/+3
2022-10-05Validate opaques in default trait bodies, don't normalize unless a body is pr...Michael Goulet-1/+2
2022-10-05Fix test for default body with implMichael Goulet-2/+3
2022-10-05Support default-body trait functions with RPITITMichael Goulet-3/+43
2022-10-04Rollup merge of #102651 - oli-obk:non_region_things, r=lcnrMatthias Krüger-1/+1
2022-10-04It's not about types or consts, but the lack of regionsOli Scherer-1/+1
2022-09-29Check generic argument compatibility when projecting assoc tyMichael Goulet-2/+40
2022-09-23Auto merge of #102056 - b-naber:unevaluated, r=lcnrbors-1/+1
2022-09-23rename Unevaluated to UnevaluatedConstb-naber-1/+1
2022-09-22Normalize opaques with escaping bound varsMichael Goulet-1/+1
2022-09-19remove the `Subst` trait, always use `EarlyBinder`lcnr-1/+0
2022-09-13Auto merge of #96709 - jackh726:gats-stabilization, r=compiler-errorsbors-2/+0
2022-09-12Auto merge of #100251 - compiler-errors:tuple-trait-2, r=jackh726bors-2/+4