summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits/select/confirmation.rs
AgeCommit message (Expand)AuthorLines
2022-10-10Rollup merge of #102786 - compiler-errors:no-tuple-candidate, r=lcnrDylan DPC-2/+0
2022-10-07Remove tuple candidate, nothing special about itMichael Goulet-2/+0
2022-10-07Remove `DefId` from some `SelectionCandidate` variantsDeadbeef-9/+8
2022-10-03check if const is ADT or notTakayuki Maeda-5/+8
2022-09-27Use already resolved self_ty in confirm_fn_pointer_candidateMichael Goulet-1/+2
2022-09-23Make `ManuallyDrop` satisfy `~const Destruct`Deadbeef-0/+3
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-3/+2
2022-09-19remove the `Subst` trait, always use `EarlyBinder`lcnr-1/+1
2022-09-18make projection bounds with const bounds satisfy constDeadbeef-3/+2
2022-09-15Normalize struct types in confirm_builtin_unsize_candidateMichael Goulet-3/+19
2022-09-13Address code review commentsEric Holk-5/+3
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-0/+2
2022-09-12fn pointers don't implement Fn/FnMut/FnOnce traits if its return type is unsizedMichael Goulet-1/+30
2022-08-22safe transmute: use `Assume` struct to provide analysis optionsJack Wrenn-16/+4
2022-08-07Built-in implementation of Tuple traitMichael Goulet-0/+2
2022-08-03Auto merge of #99509 - lcnr:commit_unconditionally, r=jackh726bors-162/+145
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/+52
2022-07-20Fix hack that remaps env constness.Deadbeef-46/+27
2022-07-20no leak_check -> commit_unconditionally is nooplcnr-162/+145
2022-07-13Rename `debugging_opts` to `unstable_opts`Joshua Nelson-1/+1
2022-07-07Use map_boundJack Huey-2/+2
2022-06-28Fix trait object reborrow suggestionMichael Goulet-3/+3
2022-06-14Rename the `ConstS::val` field as `kind`.Nicholas Nethercote-2/+2
2022-06-10bound_vars -> infer: don't return lt maplcnr-8/+5
2022-05-28Fix TyKind lint, make consts no longer fn, etcMichael Goulet-2/+2
2022-05-28Initial fixes on top of type interner commitMichael Goulet-1/+1
2022-05-17Auto merge of #96892 - oli-obk:🐌_obligation_cause_code_🐌, r=estebankbors-24/+14
2022-05-14Add bound_explicit_item_bounds and bound_item_boundsJack Huey-25/+26
2022-05-13Add bound_type_ofJack Huey-4/+4
2022-05-10Introduce EarlyBinderJack Huey-26/+27
2022-05-10Remove `clone_code` methodOli Scherer-23/+14
2022-05-10Move an extension trait method onto the type directly and reuse itOli Scherer-1/+0
2022-05-02fix most compiler/ doctestsElliot Roberts-3/+3
2022-04-05rustc_trait_selection changesPietro Albini-7/+0
2022-04-02Make GATs object safe under generic_associated_types_extended featureJack Huey-4/+66
2022-03-24Properly track `ImplObligation`sEsteban Kuber-31/+44
2022-03-21Tidy upDeadbeef-4/+8
2022-03-21Rename `~const Drop` to `~const Destruct`Deadbeef-17/+43
2022-03-16resolve the conflict in compiler/rustc_session/src/parse.rscodehorseman-3/+3
2022-03-14check all dyn obligations, actuallyMichael Goulet-17/+13
2022-03-14check Projection supertrait bounds when confirming dyn candidateMichael Goulet-1/+3
2022-02-27Auto merge of #94144 - est31:let_else_trait_selection, r=cjgillotbors-12/+8
2022-02-21Auto merge of #93505 - lcnr:substsref-vs-ty-list, r=michaelwoeristerbors-6/+4
2022-02-21use `List<Ty<'tcx>>` for tupleslcnr-6/+4
2022-02-19Consolidate normalization in confirm_poly_trait_refsMichael Goulet-73/+30
2022-02-19rustc_trait_selection: adopt let else in more placesest31-12/+8
2022-02-15Overhaul `Const`.Nicholas Nethercote-1/+1