about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/traits/select.rs
AgeCommit message (Expand)AuthorLines
2023-01-12attempt to make a minimal example workDeadbeef-1/+3
2022-11-25add commentlcnr-0/+6
2022-11-25move 2 candidates into builtin candidatelcnr-6/+0
2022-11-24Avoid `GenFuture` shim when compiling async constructsArpad Borsos-0/+4
2022-10-10Rollup merge of #102786 - compiler-errors:no-tuple-candidate, r=lcnrDylan DPC-3/+0
2022-10-07Remove tuple candidate, nothing special about itMichael Goulet-3/+0
2022-10-07Remove `DefId` from some `SelectionCandidate` variantsDeadbeef-2/+2
2022-09-18make projection bounds with const bounds satisfy constDeadbeef-2/+3
2022-08-07Built-in implementation of Tuple traitMichael Goulet-0/+3
2022-07-27Initial (incomplete) implementation of transmutability trait.Jack Wrenn-0/+4
2022-07-08Auto merge of #98614 - oli-obk:take_unsound_opaque_types, r=wesleywiserbors-4/+14
2022-07-07not knowing about opaque types is worse than not knowing about regions, make ...Oli Scherer-2/+2
2022-07-05impl TypeVisitable in type traversal macrosAlan Egerton-1/+1
2022-07-05Add #[derive(TypeVisitable)]Alan Egerton-1/+1
2022-06-30Make `evaluate_obligation` not succeed unconditionally if it registered new h...Oli Scherer-4/+14
2022-03-26Do not use ParamEnv::and to cache param-env with candidateMichael Goulet-3/+10
2022-03-25Fix ice when error reporting recursion errorslightning1141-1/+14
2022-03-21Rename `~const Drop` to `~const Destruct`Deadbeef-2/+2
2022-01-18Check const Drop impls considering ConstIfConst boundsMichael Goulet-2/+2
2021-12-12Revert "Auto merge of #91491 - spastorino:revert-91354, r=oli-obk"Deadbeef-6/+4
2021-12-03Revert "Auto merge of #91354 - fee1-dead:const_env, r=spastorino"Santiago Pastorino-4/+6
2021-11-29Avoid storing the ImplPolarity and Constness next to a TraitRef and use Trait...Oli Scherer-1/+1
2021-11-29Replace `ConstnessAnd<TraitRef>` with `TraitPredicate` which conveys the same...Oli Scherer-4/+2
2021-11-29Prefer TraitPredicate over ConstnessAnd<TraitRef>Oli Scherer-1/+1
2021-10-20Make EvaluationCache consider polarity as cache's keySantiago Pastorino-2/+4
2021-10-20Consider negative polarity on overlap checkSantiago Pastorino-2/+2
2021-10-10Fix spelling: Cannonical -> CanonicalJohn Kugelman-2/+2
2021-10-05Issue 89275 fix and testTom Farmer-4/+10
2021-09-15Coerce const FnDefs to implement const Fn traitsDeadbeef-1/+3
2021-09-09Const drop selection candidatesDeadbeef-0/+3
2021-08-22Fix typos “a”→“an”Frank Steffahn-1/+1
2021-08-18Properly generate multiple candidates for trait upcasting coercion.Charles Lew-0/+5
2021-08-13Make selection and evaluation caches use constnessDeadbeef-2/+2
2021-02-15Add `ptr::Pointee` trait (for all types) and `ptr::metadata` functionSimon Sapin-0/+3
2020-11-22Thread `Constness` through selectionJonas Schievink-1/+1
2020-10-22Normalize when finding trait object candidatesMatthew Jasper-1/+4
2020-10-06Handle multiple applicable projection candidatesMatthew Jasper-3/+4
2020-08-30mv compiler to compiler/mark-0/+255