about summary refs log tree commit diff
path: root/compiler/rustc_traits
AgeCommit message (Expand)AuthorLines
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-13Bump chalk to v0.87Michael 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
2022-09-13Better errors for implied static boundJack Huey-17/+23
2022-09-13Address code review commentsEric Holk-1/+2
2022-09-12Plumb dyn trait representation through ty::DynamicEric Holk-1/+1
2022-09-08Remove ReEmptyJack Huey-6/+2
2022-08-31Fix a bunch of typoDezhi Wu-1/+1
2022-08-29Various changes to logging of borrowck-related codeJack Huey-2/+3
2022-08-18Add diagnostic translation lints to crates that don't emit them5225225-0/+2
2022-08-04Rollup merge of #100095 - jackh726:early-binder, r=lcnrMatthias Krüger-15/+16
2022-08-03Rollup merge of #99746 - compiler-errors:more-trait-engine, r=jackh726Matthias Krüger-3/+2
2022-08-02Add bound_predicates_of and bound_explicit_predicates_ofJack Huey-15/+16
2022-08-02Auto merge of #100032 - BoxyUwU:no_ty_in_placeholder_const, r=compiler-errorsbors-1/+1
2022-08-01Remove DefId from AssocItemContainer.Camille GILLOT-5/+3
2022-08-01make `PlaceholderConst` not store the type of the constEllen-1/+1
2022-07-28Rollup merge of #99714 - ouz-a:issue_57961, r=oli-obkDylan DPC-7/+14
2022-07-27add tests and commentouz-a-0/+4
2022-07-26Use TraitEngine in more places that don't specifically need FulfillmentCtxt::...Michael Goulet-3/+2
2022-07-25Bubble up obligationsouz-a-7/+10
2022-07-20Remove unused StableMap and StableSet types from rustc_data_structuresMichael Woerister-1/+1
2022-07-06Update TypeVisitor pathsAlan Egerton-4/+4
2022-07-05Relax constrained generics to TypeVisitableAlan Egerton-2/+3
2022-06-29Auto merge of #98558 - nnethercote:smallvec-1.8.1, r=lqdbors-1/+1
2022-06-28Make empty bounds lower to WellFormed and make WellFormed coinductiveJack Huey-5/+18