about summary refs log tree commit diff
path: root/src/librustc_trait_selection/traits
AgeCommit message (Expand)AuthorLines
2020-05-31Fix associate type diagnosticsXIAO Tian-19/+12
2020-05-30Rollup merge of #72540 - davidtwco:issue-67552-mono-collector-comparison, r=v...Ralf Jung-8/+7
2020-05-30Return early to avoid ICEYuki Okushi-7/+6
2020-05-30Rollup merge of #72621 - Aaron1011:fix/trait-select-error, r=nikomatsakisYuki Okushi-11/+0
2020-05-29Move common code to `WhereClause`Esteban Küber-10/+1
2020-05-28Account for trailing comma when suggesting `where` clausesEsteban Küber-1/+10
2020-05-28standardize limit comparisons with `Limit` typeDavid Wood-8/+7
2020-05-28Auto merge of #72494 - lcnr:predicate-cleanup, r=nikomatsakisbors-30/+28
2020-05-27Auto merge of #71996 - Marwes:detach_undo_log, r=nikomatsakisbors-12/+6
2020-05-26Don't bail out of trait selection when predicate references an errorAaron Hill-11/+0
2020-05-25Rollup merge of #72450 - csmoe:issue-72442, r=oli-obkDylan DPC-1/+5
2020-05-25Rollup merge of #72061 - lcnr:const-inference-test, r=eddybDylan DPC-4/+4
2020-05-25Rollup merge of #72153 - lcnr:exhaustively-match, r=pnkfelixDylan DPC-5/+48
2020-05-25Rollup merge of #72544 - sexxi-goose:upvars_mentioned, r=matthewjasperRalf Jung-1/+1
2020-05-24librustc_middle: Rename upvars query to upvars_mentionedAman Arora-1/+1
2020-05-24Auto merge of #72524 - RalfJung:rollup-s9f1pcc, r=RalfJungbors-19/+6
2020-05-24Rollup merge of #72517 - lcnr:refactor-winnowing, r=jonas-schievinkRalf Jung-19/+6
2020-05-24Auto merge of #72362 - matthewjasper:remove-rescope, r=nikomatsakisbors-4/+0
2020-05-24small select cleanupBastian Kauschke-19/+6
2020-05-24Rollup merge of #71618 - ecstatic-morse:issue-71394, r=nikomatsakisDylan DPC-42/+53
2020-05-23iterate List by valueBastian Kauschke-8/+6
2020-05-23take predicates by value instead of by referenceBastian Kauschke-22/+22
2020-05-22Use `mk_trait_obligation_with_new_self_ty` for new suggestionDylan MacKenzie-7/+6
2020-05-22Bail out if `output_ty` has bound variablesDylan MacKenzie-5/+9
2020-05-22Document invariants of `mk_trait_obligation_with_new_self_ty`Dylan MacKenzie-0/+4
2020-05-22Ensure that `new_self_ty` has no escaping bound varsDylan MacKenzie-0/+2
2020-05-22Preserve substitutions when trying to prove trait obligationDylan MacKenzie-33/+35
2020-05-22Use `OnceCell` instead of `Once`Dylan MacKenzie-7/+6
2020-05-22Remove dead ScopeTree codeMatthew Jasper-4/+0
2020-05-22Rollup merge of #71829 - kper:issue71136, r=matthewjasperRalf Jung-6/+19
2020-05-22Using `!span.from_expansion()` instead of snippetsKevin Per-25/+1
2020-05-22only try to suggest for try trait_refcsmoe-1/+5
2020-05-21Rollup merge of #72055 - lcnr:predicate-kind, r=nikomatsakisRalf Jung-179/+210
2020-05-21Auto merge of #70705 - lcnr:generic_discriminant, r=nikomatsakisbors-20/+102
2020-05-20change `Predicate::kind` to return a referenceBastian Kauschke-29/+27
2020-05-20intern `PredicateKind`Bastian Kauschke-1/+1
2020-05-20introduce newtype'd `Predicate<'tcx>`Bastian Kauschke-53/+71
2020-05-20make `to_predicate` take a `tcx` argumentNiko Matsakis-61/+68
2020-05-20rename `Predicate` to `PredicateKind`, introduce aliasBastian Kauschke-89/+97
2020-05-20Auto merge of #71923 - csmoe:issue-70818, r=tmandrybors-108/+135
2020-05-20comment return sitesBastian Kauschke-7/+14
2020-05-20Be more conservative concerning `structural_match`Bastian Kauschke-21/+19
2020-05-20note for `ty::Error`.Bastian Kauschke-7/+14
2020-05-20exhaustively match during structural match checkingBastian Kauschke-2/+33
2020-05-19Auto merge of #69171 - Amanieu:new-asm, r=nagisa,nikomatsakisbors-3/+6
2020-05-19auto impl`DiscriminantKind` for every typeBastian Kauschke-20/+102
2020-05-18HIR passes for asm!Amanieu d'Antras-0/+3
2020-05-18Implement asm! in librustc_builtin_macrosAmanieu d'Antras-3/+3
2020-05-17Logically seperate lazy norm from `const_generics`Bastian Kauschke-1/+1
2020-05-17add docsBastian Kauschke-1/+1
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-26 23:45:24 +0000