about summary refs log tree commit diff
path: root/compiler/rustc_traits/src
AgeCommit message (Expand)AuthorLines
2022-12-13Combine identical alias armsMichael Goulet-2/+2
2022-12-13Combine projection and opaque into aliasMichael Goulet-24/+31
2022-12-13squash OpaqueTy and ProjectionTy into AliasTyMichael Goulet-8/+8
2022-12-13ProjectionTy.item_def_id -> ProjectionTy.def_idMichael Goulet-5/+5
2022-12-13Use ty::OpaqueTy everywhereMichael Goulet-9/+13
2022-12-08Move some suggestions from error_reporting to error_reporting::suggestMichael Goulet-1/+1
2022-12-08Move codegen_select_candidate to a rustc_traitsMichael Goulet-0/+90
2022-11-28Make ObligationCtxt::normalize take cause by borrowMichael Goulet-3/+3
2022-11-28partially_normalize_... -> At::normalizeMichael Goulet-3/+3
2022-11-28Rename At::normalize to At::query_normalizeMichael Goulet-3/+3
2022-11-26Rollup merge of #104906 - spastorino:remove-ascribeusertypecx, r=compiler-errorsMatthias Krüger-107/+50
2022-11-25Define all clauses as dummy_with_span as the usages are all equivalentSantiago Pastorino-7/+5
2022-11-25Remove AscribeUserTypeCxSantiago Pastorino-107/+52
2022-11-25Introduce PredicateKind::ClauseSantiago Pastorino-49/+63
2022-11-24Auto merge of #103693 - HKalbasi:master, r=oli-obkbors-15/+15
2022-11-24move some layout logic to rustc_target::abi::layouthkalbasi-15/+15
2022-11-24Avoid `GenFuture` shim when compiling async constructsArpad Borsos-1/+5
2022-11-23Pass ObligationCtxt from enter_canonical_trait_query and use ObligationCtxt APISantiago Pastorino-16/+13
2022-11-22Rollup merge of #103488 - oli-obk:impl_trait_for_tait, r=lcnrManish Goregaokar-0/+6
2022-11-21Allow iterators instead of requiring slices that will get turned into iteratorsOli Scherer-1/+1
2022-11-21Add an always-ambiguous predicate to make sure that we don't accidentlally al...Oli Scherer-0/+6
2022-11-21Rollup merge of #104595 - compiler-errors:poly-existential-predicate, r=lcnrMatthias Krüger-1/+1
2022-11-20Auto merge of #104522 - RalfJung:try_normalize_after_erasing_regions, r=oli-obkbors-1/+3
2022-11-19drive-by: PolyExistentialPredicateMichael Goulet-1/+1
2022-11-17try_normalize_after_erasing_regions: promote an assertion to always runRalf Jung-1/+3
2022-11-16Convert predicates into Predicate in the Obligation constructorOli Scherer-3/+8
2022-11-13Make rustc build with new chalkMichael Goulet-3/+3
2022-11-09make dropck_outlives into a proper canonicalized type queryMichael Goulet-110/+97
2022-11-07Add an optional Span to BrAnon and use it to print better error for HRTB erro...Jack Huey-10/+12
2022-11-04Refactor tcx mk_const parameters.Mateusz-5/+5
2022-10-27remove _types from ocx method namesMichael Goulet-3/+3
2022-10-27Address some more nitsMichael Goulet-14/+3
2022-10-27(almost) Always use ObligationCtxt when dealing with canonical queriesMichael Goulet-80/+56
2022-10-17rm `try_normalize_mir_const_after_erasing_regions`lcnr-3/+0
2022-10-07Change InferCtxtBuilder from enter to buildCameron Steffen-146/+135
2022-10-07Remove TypeckResults from InferCtxtCameron Steffen-5/+5
2022-10-04It's not about types or consts, but the lack of regionsOli Scherer-1/+1
2022-09-26remove cfg(bootstrap)Pietro Albini-1/+0
2022-09-25Auto merge of #95474 - oli-obk:tait_ub, r=jackh726bors-0/+3
2022-09-25Rollup merge of #102016 - lcnr:given-OutlivesEnvironment, r=jackh726Matthias Krüger-33/+36
2022-09-21Neither require nor imply lifetime bounds on opaque type for well formednessOli Scherer-0/+3
2022-09-19improve infer var handling for implied boundslcnr-33/+36
2022-09-19remove the `Subst` trait, always use `EarlyBinder`lcnr-3/+3
2022-09-19Auto merge of #101924 - jackh726:revert-static-hrtb-error, r=compiler-errorsbors-21/+32
2022-09-17Add back in normalize callJack Huey-5/+10
2022-09-17Rollup merge of #93628 - est31:stabilize_let_else, r=joshtriplettDylan DPC-1/+1
2022-09-16Final bitsJack Huey-17/+23
2022-09-16Revert "Better errors for implied static bound"Jack Huey-23/+17
2022-09-15Only enable the let_else feature on bootstrapest31-1/+1
2022-09-14Auto merge of #101212 - eholk:dyn-star, r=compiler-errorsbors-1/+2