about summary refs log tree commit diff
path: root/src/librustc_trait_selection
AgeCommit message (Expand)AuthorLines
2020-07-20trait_sel: only test predicates w/ no substsDavid Wood-15/+15
2020-07-17refactor ty_is_non_localBastian Kauschke-15/+18
2020-07-17cleanup ty_is_~non~_local_constructorBastian Kauschke-38/+21
2020-07-17Rename TypeckTables to TypeckResults.Valentin Lazureanu-27/+27
2020-07-17Remove some `Symbol:as_str()` calls.Nicholas Nethercote-2/+2
2020-07-16Rename `sym::item_context` as `sym::ItemContext`.Nicholas Nethercote-4/+4
2020-07-15Rollup merge of #74344 - estebank:stringly-wobbly, r=eddybManish Goregaokar-7/+11
2020-07-15Rollup merge of #74276 - lcnr:discriminant-kind-what, r=nagisaManish Goregaokar-15/+5
2020-07-15const_eval_resolveBastian Kauschke-5/+5
2020-07-15ConstKind::UnevaluatedBastian Kauschke-7/+7
2020-07-15improve DiscriminantKind handlingBastian Kauschke-15/+5
2020-07-15Auto merge of #74175 - nnethercote:more-static-symbols, r=oli-obkbors-2/+6
2020-07-14Remove string comparison and use diagnostic item insteadEsteban Küber-7/+11
2020-07-15Add and use more static symbols.Nicholas Nethercote-2/+6
2020-07-14Reword messageEsteban Küber-1/+2
2020-07-14Remove redundant explanatory `note` for type parametersEsteban Küber-1/+6
2020-07-14Suggest borrowing in more unsized fn param casesEsteban Küber-35/+31
2020-07-14Suggest boxing or borrowing unsized fieldsEsteban Küber-18/+35
2020-07-14Suggest borrowing unsized argument typesEsteban Küber-3/+15
2020-07-10Avoid "whitelist"Tamir Duberstein-1/+1
2020-07-09Rollup merge of #74070 - eddyb:forall-tcx-providers, r=nikomatsakisManish Goregaokar-3/+3
2020-07-06Auto merge of #73978 - Mark-Simulacrum:shrink-paramenv, r=nnethercotebors-22/+27
2020-07-05Use for<'tcx> fn pointers in Providers, instead of having Providers<'tcx>.Eduard-Mihai Burtescu-3/+3
2020-07-05Shrink ParamEnv to 16 bytesMark Rousskov-22/+27
2020-07-04instantiate_opaque_types LocalDefIdBastian Kauschke-11/+6
2020-07-02Auto merge of #73751 - eddyb:no-empty-tables, r=nikomatsakisbors-1/+1
2020-07-02Remove `TypeckTables::empty(None)` and make hir_owner non-optional.Eduard-Mihai Burtescu-1/+1
2020-07-01Rollup merge of #73306 - calebzulawski:target-feature-11-fn-trait-soundness, ...Manish Goregaokar-1/+33
2020-06-30Make #[target_feature] Fn trait error message less confusingCaleb Zulawski-16/+15
2020-06-30change `skip_binder` to use T by valueBastian Kauschke-15/+15
2020-06-30stop taking references in RelateBastian Kauschke-4/+4
2020-06-27Don't implement Fn* for unsafe #[target_feature] functionsCaleb Zulawski-5/+3
2020-06-26Rollup merge of #73681 - jackh726:chalk-0.14, r=nikomatsakisManish Goregaokar-7/+8
2020-06-24Implement associated lang itemsAaron Hill-8/+7
2020-06-24Update ChalkJack Huey-7/+8
2020-06-23Auto merge of #73643 - Manishearth:rollup-68dr8fz, r=Manishearthbors-60/+34
2020-06-23Rollup merge of #73578 - RalfJung:ty-ctxt-at, r=jonas-schievinkDylan DPC-1/+1
2020-06-22remove leak-check from projectNiko Matsakis-2/+1
2020-06-22remove snapshot calls from "match" operations during selectNiko Matsakis-34/+14
2020-06-22upcasting traits requires only that things become more generalNiko Matsakis-15/+1
2020-06-22move leak-check to during coherence, candidate evalNiko Matsakis-11/+17
2020-06-22rewrite leak check to be based on universesNiko Matsakis-14/+17
2020-06-21Auto merge of #73180 - matthewjasper:predicate-cache, r=nikomatsakisbors-1/+1
2020-06-21Auto merge of #72936 - jackh726:chalk-more, r=nikomatsakisbors-1/+5
2020-06-21Make is_freeze and is_copy_modulo_regions take TyCtxtAtRalf Jung-1/+1
2020-06-21Replace `is_global` call on data with call on predicateMatthew Jasper-1/+1
2020-06-20Auto merge of #73563 - Manishearth:rollup-oowgwwm, r=Manishearthbors-37/+332
2020-06-20Rollup merge of #72788 - matthewjasper:projection-bound-validation, r=nikomat...Manish Goregaokar-36/+35
2020-06-20Rollup merge of #72456 - ldm0:dereftrait, r=estebankManish Goregaokar-1/+297
2020-06-20Prevent incorrect help message for dereference suggestionDonough Liu-1/+1