about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/traits/select.rs
AgeCommit message (Expand)AuthorLines
2023-12-18Check FnPtr/FnDef built-in fn traits correctly with effectsMichael Goulet-1/+1
2023-12-16Remove unnecessary constness from ProjectionCandidateMichael Goulet-4/+2
2023-12-08Implement `async gen` blocksMichael Goulet-2/+6
2023-12-06EvaluatedToUnknown -> EvaluatedToAmbigStackDependent, EvaluatedToRecur -> Eva...Michael Goulet-10/+10
2023-10-27Make `gen` blocks implement the `Iterator` traitOli Scherer-0/+4
2023-10-20s/generator/coroutine/Oli Scherer-2/+2
2023-10-20s/Generator/Coroutine/Oli Scherer-2/+2
2023-09-18Remove more unused `Lift` impls.Nicholas Nethercote-1/+1
2023-08-14Remove constness from `ImplSource::Param`Deadbeef-0/+1
2023-07-25Make everything builtin!Michael Goulet-3/+1
2023-04-26Remove unused `TypeFoldable`/`TypeVisitable` impls.Nicholas Nethercote-1/+1
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
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-01-13 16:39:11 +0000