summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits/select/confirmation.rs
AgeCommit message (Expand)AuthorLines
2022-12-08Move vtable methods into its own moduleMichael Goulet-5/+8
2022-11-28Rollup merge of #104907 - compiler-errors:selcx-infcx, r=oli-obkDylan DPC-2/+2
2022-11-27Rename `fn_trait_kind_from_{from_lang=>def_id}` to better convey meaningMaybe Waffle-1/+1
2022-11-25Remove SelectionContext::infcx() in favor of field accessMichael Goulet-2/+2
2022-11-25Auto merge of #104902 - matthiaskrgr:rollup-oo27a4u, r=matthiaskrgrbors-12/+5
2022-11-25Rollup merge of #104716 - lcnr:selection-candidate, r=jackh726Matthias Krüger-12/+5
2022-11-25Auto merge of #104846 - spastorino:santa-clauses-make-goals-early-christmas-ð...bors-6/+1
2022-11-25move 2 candidates into builtin candidatelcnr-12/+5
2022-11-25get rid of to_poly_trait_predicateOli Scherer-6/+1
2022-11-24Remove comment, simplify since we asserted fn ptr Self type has no bound varsMichael Goulet-10/+1
2022-11-24Also check that fn pointer candidates don't have escaping bound varsMichael Goulet-1/+4
2022-11-24Assert that we don't capture escaping bound vars in Fn trait selectionMichael Goulet-5/+8
2022-11-24Auto merge of #104321 - Swatinem:async-gen, r=oli-obkbors-5/+55
2022-11-24Avoid `GenFuture` shim when compiling async constructsArpad Borsos-5/+55
2022-11-24Disable dyn* upcastingMichael Goulet-4/+5
2022-11-21Stop passing the self-type as a separate argument.Oli Scherer-20/+13
2022-11-21Add helper to create the trait ref for a lang itemOli Scherer-11/+8
2022-11-21Use iterators instead of slices at more sitesOli Scherer-2/+2
2022-11-21Allow iterators instead of requiring slices that will get turned into iteratorsOli Scherer-4/+4
2022-11-21Assert that various types have the right amount of generic args and fix the s...Oli Scherer-12/+16
2022-11-18Rollup merge of #103386 - compiler-errors:no-coerceunsized-to-dynstar, r=eholkMatthias Krüger-3/+5
2022-11-16Convert predicates into Predicate in the Obligation constructorOli Scherer-38/+31
2022-11-10Unbreak upcastingMichael Goulet-2/+4
2022-11-10Don't CoerceUnsized dyn* to dyn*Michael Goulet-1/+1
2022-11-04Refactor tcx mk_const parameters.Mateusz-4/+4
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