summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits/select
AgeCommit message (Expand)AuthorLines
2022-10-17Rollup merge of #102466 - lcnr:const-equate-uwu, r=BoxyUwUMatthias Krüger-11/+13
2022-10-10Fix compiler docsGuillaume Gomez-1/+1
2022-10-10Rollup merge of #102786 - compiler-errors:no-tuple-candidate, r=lcnrDylan DPC-8/+4
2022-10-08Rollup merge of #102785 - fee1-dead-contrib:rm_autoimpl_defid, r=compiler-errorsMatthias Krüger-19/+18
2022-10-07Remove tuple candidate, nothing special about itMichael Goulet-8/+4
2022-10-07Remove `DefId` from some `SelectionCandidate` variantsDeadbeef-19/+18
2022-10-07Remove TypeckResults from InferCtxtCameron Steffen-5/+5
2022-10-07Introduce TypeErrCtxtCameron Steffen-2/+2
2022-10-04It's not about types or consts, but the lack of regionsOli Scherer-5/+5
2022-10-03Rollup merge of #102613 - TaKO8Ki:fix-part-of-101739, r=compiler-errorsMatthias Krüger-5/+8
2022-10-03check if const is ADT or notTakayuki Maeda-9/+8
2022-10-03return when obligation has references_errorTakayuki Maeda-0/+4
2022-10-01Auto merge of #101986 - WaffleLapkin:move_lint_note_to_the_bottom, r=estebankbors-7/+6
2022-10-01Refactor rustc lint APIMaybe Waffle-7/+6
2022-09-30Auto merge of #102304 - lcnr:coherence-cleanup, r=compiler-errorsbors-33/+0
2022-09-29only allow `ConstEquate` with `feature(gce)`lcnr-11/+13
2022-09-28update fixmelcnr-5/+5
2022-09-27Use already resolved self_ty in confirm_fn_pointer_candidateMichael Goulet-1/+2
2022-09-26remove outdated coherence hacklcnr-33/+0
2022-09-23Make `ManuallyDrop` satisfy `~const Destruct`Deadbeef-0/+3
2022-09-22Rollup merge of #102037 - jyn514:normalize-docs, r=lcnrDylan DPC-14/+2
2022-09-21Auto merge of #100096 - compiler-errors:fn-return-must-be-sized, r=jackh726bors-1/+30
2022-09-20Auto merge of #101989 - fee1-dead-contrib:const_trait_impl-assoc-caller-bound...bors-13/+16
2022-09-19slightly cleanup building SelectionContextJoshua Nelson-14/+2
2022-09-19remove the `Subst` trait, always use `EarlyBinder`lcnr-2/+2
2022-09-18make projection bounds with const bounds satisfy constDeadbeef-13/+16
2022-09-17Auto merge of #98588 - b-naber:valtrees-cleanup, r=lcnrbors-5/+1
2022-09-16Auto merge of #101860 - oli-obk:information_throwing, r=compiler-errorsbors-6/+6
2022-09-15Don't throw away information just to recompute it againOli Scherer-6/+6
2022-09-15Normalize struct types in confirm_builtin_unsize_candidateMichael Goulet-3/+19
2022-09-13Address code review commentsEric Holk-5/+3
2022-09-13use ty::Unevaluated<'tcx, ()> in type systemb-naber-5/+1
2022-09-12Make x.py check workEric Holk-1/+1
2022-09-12Rename some variantsMichael Goulet-2/+1
2022-09-12Typecheck dyn* coercionsEric Holk-0/+2
2022-09-12Plumb dyn trait representation through ty::DynamicEric Holk-5/+9
2022-09-12Auto merge of #100251 - compiler-errors:tuple-trait-2, r=jackh726bors-3/+52
2022-09-12fn pointers don't implement Fn/FnMut/FnOnce traits if its return type is unsizedMichael Goulet-1/+30
2022-09-11minor fixups as per PR feedbackAndrew Cann-29/+15
2022-09-11Apply formatting fixesAndrew Cann-8/+17
2022-09-11fix GeneratorWitness: Clone checkAndrew Cann-9/+14
2022-09-11loosen restriction on when GeneratorWitness: CloneAndrew Cann-17/+13
2022-09-11add generator_clone feature gateAndrew Cann-24/+32
2022-09-11implement Copy/Clone for generatorsAndrew Cann-2/+34
2022-09-04Auto merge of #100726 - jswrenn:transmute, r=oli-obkbors-16/+4
2022-09-01tracing::instrument cleanupOli Scherer-31/+21
2022-09-01Directly use the `instrument` macro instead of its full pathOli Scherer-7/+7
2022-08-22safe transmute: use `Assume` struct to provide analysis optionsJack Wrenn-16/+4
2022-08-17`is_knowable` use `Result` instead of `Option`lcnr-3/+3
2022-08-07Built-in implementation of Tuple traitMichael Goulet-3/+52