summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits
AgeCommit message (Expand)AuthorLines
2021-08-27Do not ICE on HIR based WF check when involving lifetimesEsteban Küber-3/+4
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-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-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
2021-06-09Add more tests + visit_ty in some placesEllen-12/+21
2021-06-08Support as casts in abstract constsEllen-9/+27
2021-06-03don't suggest unsized indirection in where-clausesTaylor Yu-0/+4
2021-06-02Restrict access to crate_name.Camille GILLOT-1/+3
2021-06-01Revert "Reduce the amount of untracked state in TyCtxt"Camille Gillot-3/+1
2021-05-30Restrict access to crate_name.Camille GILLOT-1/+3
2021-05-25Auto merge of #85481 - lcnr:const-equate, r=matthewjasperbors-3/+34
2021-05-24Auto merge of #85596 - scottmcm:more-on-unimplemented, r=estebankbors-0/+9
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-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