summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src
AgeCommit message (Expand)AuthorLines
2021-06-07Differentiate different defining uses of taits when they reference distinct g...Santiago Pastorino-10/+7
2021-06-07Remove substs from OpaqueTypeDecl, use the one in OpaqueTypeKeySantiago Pastorino-27/+25
2021-06-07Use substs from opaque type key instead of using it from opaque_declSantiago Pastorino-2/+1
2021-06-07Make opaque type map key be of type OpaqueTypeKeySantiago Pastorino-4/+10
2021-06-07Make OpaqueTypeKey the key of opaque types mapSantiago Pastorino-5/+5
2021-06-07Change opaque type map to be a `VecMap`Santiago Pastorino-4/+5
2021-06-03don't suggest unsized indirection in where-clausesTaylor Yu-0/+4
2021-06-02Restrict access to crate_name.Camille GILLOT-2/+6
2021-06-01Revert "Reduce the amount of untracked state in TyCtxt"Camille Gillot-6/+2
2021-05-30Restrict access to crate_name.Camille GILLOT-2/+6
2021-05-26stabilize member constraintsNiko Matsakis-66/+0
2021-05-25Auto merge of #85481 - lcnr:const-equate, r=matthewjasperbors-3/+34
2021-05-25Auto merge of #84985 - pietroalbini:bootstrap-1.54, r=Mark-Simulacrumbors-1/+0
2021-05-24Auto merge of #85596 - scottmcm:more-on-unimplemented, r=estebankbors-0/+9
2021-05-24remove cfg(bootstrap)Pietro Albini-1/+0
2021-05-23Extend rustc_on_implemented to improve a ?-on-ControlFlow error messageScott McMurray-0/+9
2021-05-21Auto merge of #85382 - Aaron1011:project-eval, r=nikomatsakisbors-9/+1
2021-05-19deal with `const_evaluatable_checked` in `ConstEquate`lcnr-3/+34
2021-05-18Rollup merge of #85369 - FabianWolff:issue-84973, r=jackh726Guillaume Gomez-13/+68
2021-05-17New rustdoc lint to respect -Dwarnings correctlyAlexis Bourget-0/+1
2021-05-17Implement jackh726's suggestionsFabian Wolff-12/+6
2021-05-17Auto merge of #85178 - cjgillot:local-crate, r=oli-obkbors-2/+2
2021-05-16Always produce sub-obligations when using cached projection resultAaron Hill-9/+1
2021-05-16Suggest borrowing if a trait implementation is found for &/&mut <type>Fabian Wolff-13/+74
2021-05-13have on_completion record subcyclesNiko Matsakis-48/+61
2021-05-12Use () for all_traits.Camille GILLOT-2/+2
2021-05-07Rollup merge of #84987 - lcnr:nits, r=Mark-SimulacrumDylan DPC-2/+0
2021-05-06Auto merge of #84559 - jackh726:issue-84398, r=nikomatsakisbors-1/+11
2021-05-06outdated commentlcnr-2/+0
2021-05-06Pick candidate with fewer bound varsJack Huey-5/+5
2021-04-27Make traits with GATs not object safeJack Huey-4/+11
2021-04-25Deduplicate ParamCandidates with the same value except for bound varsJack Huey-1/+11
2021-04-22Rollup merge of #84343 - camsteffen:closure-tree, r=varkorDylan DPC-2/+1
2021-04-19Small refactorCameron Steffen-2/+1
2021-04-19fix few typosklensy-2/+2
2021-04-18Improve an error message.teymour-aldridge-6/+6
2021-04-08Rollup merge of #83980 - pierwill:fix-compiler-librustc-names, r=davidtwcoDylan DPC-1/+1
2021-04-08Fix outdated crate names in compiler docspierwill-1/+1
2021-04-08Rollup merge of #83689 - estebank:cool-bears-hot-tip, r=davidtwcoDylan DPC-14/+87
2021-04-06Add spans to E0277 for impl/trait type/fn obligation disparityEsteban Küber-11/+52
2021-04-06review commentsEsteban Küber-1/+1
2021-04-06Point at `impl` and type defs introducing requirements on E0277Esteban Küber-3/+35
2021-04-06Do not ICE when closure is involved in TAITEsteban Küber-1/+6
2021-04-06Remove trailing `:` from E0119 messageEsteban Küber-2/+2
2021-04-02Rollup merge of #83673 - hi-rustin:rustin-patch-suggestion, r=estebankDylan DPC-1/+3
2021-04-02Auto merge of #83207 - oli-obk:valtree2, r=lcnrbors-0/+5
2021-04-02Auto merge of #80828 - SNCPlay42:opaque-projections, r=estebankbors-2/+4
2021-04-01Auto merge of #82780 - cjgillot:dep-stream, r=michaelwoeristerbors-1/+1
2021-03-31Cleanups and commentsJack Huey-1/+0
2021-03-31Track bound varsJack Huey-2/+5