about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits
AgeCommit message (Expand)AuthorLines
2021-08-01Auto merge of #87449 - matthiaskrgr:clippyy_v2, r=nagisabors-10/+5
2021-07-31Auto merge of #86264 - crlf0710:trait_upcasting_part1, r=nikomatsakisbors-20/+56
2021-07-31Implement trait upcasting coercion type-checking.Charles Lew-20/+56
2021-07-30Use multispan suggestions more oftenEsteban Küber-6/+9
2021-07-28Fix ICE in `diagnostic_hir_wf_check`Fabian Wolff-2/+2
2021-07-25clippy::filter_nextMatthias Krüger-7/+3
2021-07-25use vec![] macro to create Vector with first item inside instead of pushing t...Matthias Krüger-3/+2
2021-07-24Auto merge of #86461 - crlf0710:rich_vtable, r=nikomatsakisbors-58/+319
2021-07-24Rollup merge of #87322 - chazkiker2:fix/suggestion-ref-sync-send, r=estebankYuki Okushi-5/+30
2021-07-22Squash all commits.chaz-kiker-5/+30
2021-07-22Auto merge of #87265 - Aaron1011:hir-wf-fn, r=estebankbors-2/+2
2021-07-21Improve caching during trait evaluationAaron Hill-10/+27
2021-07-20Support HIR wf checking for function signaturesAaron Hill-2/+2
2021-07-20Switch to store `Instance` directly within `VtblEntry`, fix `TraitVPtr` repre...Charles Lew-8/+18
2021-07-20Add internal attribute and tests.Charles Lew-1/+11
2021-07-20Refactor vtable format.Charles Lew-57/+298
2021-07-20Auto merge of #87244 - jackh726:issue-71883, r=estebankbors-2/+9
2021-07-20Auto merge of #87141 - spastorino:remove_impl_trait_in_bindings, r=oli-obkbors-5/+1
2021-07-19Better diagnostics when mismatched types due to implict static lifetimejackh726-2/+9
2021-07-19Auto merge of #87225 - estebank:cleanup, r=oli-obkbors-12/+20
2021-07-19Various diagnostics clean ups/tweaksEsteban Küber-12/+20
2021-07-18Revert "structural_match: non-structural-match ty closures"Santiago Pastorino-5/+1
2021-07-17Add needs_normalizationjackh726-4/+21
2021-07-17Some perf optimizations and loggingjackh726-10/+16
2021-07-16Add initial implementation of HIR-based WF checking for diagnosticsAaron Hill-17/+49
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-42/+4
2021-07-05Auto merge of #86674 - Aaron1011:new-querify-limits, r=michaelwoeristerbors-5/+5
2021-07-04Combine individual limit queries into single `limits` queryAaron Hill-5/+5
2021-07-04Auto merge of #86866 - nikomatsakis:issue-84841, r=oli-obkbors-5/+15
2021-07-04Query-ify global limit attribute handlingAaron Hill-5/+5
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-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-10support `as _` and add testsEllen-1/+3