about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits/select
AgeCommit message (Expand)AuthorLines
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
2022-08-06Auto merge of #99743 - compiler-errors:fulfillment-context-cleanups, r=jackh726bors-15/+18
2022-08-04Rollup merge of #100095 - jackh726:early-binder, r=lcnrMatthias Krüger-6/+10
2022-08-04Address nitsMichael Goulet-3/+8
2022-08-04Remove unnecessary FulfillmentContext from need_migrate_deref_output_trait_ob...Michael Goulet-21/+19
2022-08-03Change sized_constraints to return EarlyBinderJack Huey-1/+5
2022-08-02Add bound_predicates_of and bound_explicit_predicates_ofJack Huey-5/+5
2022-08-03Auto merge of #99509 - lcnr:commit_unconditionally, r=jackh726bors-186/+167
2022-07-27safe transmute: don't mark user impls as unambiguousJack Wrenn-1/+0
2022-07-27safe transmute: gracefully handle const params of wrong typesJack Wrenn-1/+1
2022-07-27Initial (incomplete) implementation of transmutability trait.Jack Wrenn-0/+78
2022-07-22Auto merge of #99521 - fee1-dead-contrib:const_fix_hax, r=oli-obkbors-46/+27
2022-07-21Fix `remap_constness`Deadbeef-3/+3
2022-07-20Fix hack that remaps env constness.Deadbeef-46/+27
2022-07-20no leak_check -> commit_unconditionally is nooplcnr-186/+167
2022-07-15Revert "Highlight conflicting param-env candidates"Michael Goulet-41/+2
2022-07-15remove tcx from ObligationCauseCode::spanMichael Goulet-1/+1
2022-07-14Rollup merge of #99000 - JulianKnodt:allow_resolve_no_substs, r=lcnrDylan DPC-1/+1
2022-07-13Rename `debugging_opts` to `unstable_opts`Joshua Nelson-1/+1