about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src
AgeCommit message (Expand)AuthorLines
2021-07-17Add needs_normalizationjackh726-4/+21
2021-07-17Some perf optimizations and loggingjackh726-10/+16
2021-07-16Auto merge of #83898 - Aaron1011:feature/hir-wf, r=estebankbors-25/+57
2021-07-16Add initial implementation of HIR-based WF checking for diagnosticsAaron Hill-25/+57
2021-07-16Rollup merge of #87200 - oli-obk:fixup_fixup_opaque_types, r=nikomatsakisGuillaume Gomez-8/+6
2021-07-16Add some more tracing instrumentationOli Scherer-8/+6
2021-07-15Remove failed and review commentsjackh726-99/+69
2021-07-13WIP partial apply fixjackh726-104/+193
2021-07-09Replace associated item bound vars with placeholders when projecting.jackh726-0/+365
2021-07-08Rollup merge of #86726 - sexxi-goose:use-diagnostic-item-for-rfc2229-migratio...Guillaume Gomez-5/+7
2021-07-06Make type_implements_trait not a queryAman Arora-43/+48
2021-07-05Auto merge of #86674 - Aaron1011:new-querify-limits, r=michaelwoeristerbors-7/+7
2021-07-04Combine individual limit queries into single `limits` queryAaron Hill-7/+7
2021-07-04Auto merge of #86866 - nikomatsakis:issue-84841, r=oli-obkbors-5/+15
2021-07-04Query-ify global limit attribute handlingAaron Hill-7/+7
2021-07-04tag issues with FIXMENiko Matsakis-1/+1
2021-07-04allow inference vars in type_implements_traitNiko Matsakis-5/+15
2021-07-03Auto merge of #85090 - Aaron1011:type-outlives-global, r=matthewjasper,jackh726bors-1/+9
2021-07-03Remove `ty::Binder::bind()`Yuki Okushi-1/+1
2021-06-29Rename variableRoxane-5/+5
2021-06-29Return `EvaluatedToOk` when type in outlives predicate is globalAaron Hill-1/+9
2021-06-29Use diagnostic items to check for Send, UnwindSafe and RefUnwindSafe traitsRoxane Fruytier-2/+4
2021-06-23Auto merge of #86386 - inquisitivecrystal:better-errors-for-display-traits-v3...bors-0/+24
2021-06-18improve comments for unsized suggestionsTaylor Yu-1/+5
2021-06-18deindent unsized suggestionsTaylor Yu-63/+63
2021-06-18factor out maybe_indirection_for_unsizedTaylor Yu-32/+47
2021-06-18factor out maybe_suggest_unsized_genericsTaylor Yu-1/+17
2021-06-18debug for suggest_unsized_bound_if_applicableTaylor Yu-1/+11
2021-06-18add various coments to explain how the code worksNiko Matsakis-9/+3
2021-06-16Improve errors for missing Debug and Display implsAris Merchant-0/+24
2021-06-15Refactor to make interpreter and codegen backend neutral to vtable internal r...Charles Lew-63/+89
2021-06-12Auto merge of #86130 - BoxyUwU:abstract_const_as_cast, r=oli-obkbors-1/+30
2021-06-10support `as _` and add testsEllen-1/+3
2021-06-09Add more tests + visit_ty in some placesEllen-12/+21
2021-06-08Support as casts in abstract constsEllen-9/+27
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