summary refs log tree commit diff
path: root/src/librustc_trait_selection
AgeCommit message (Expand)AuthorLines
2020-06-26Beta backport of PR #73005 (obligation error impl candidate)Aaron Hill-0/+18
2020-06-13remove assertBastian Kauschke-2/+1
2020-06-13normalize adt fields during structural match checkBastian Kauschke-1/+5
2020-06-02Rollup merge of #72775 - JohnTitor:await-sugg, r=estebankYuki Okushi-7/+6
2020-06-01Rollup merge of #72776 - lcnr:stalled_on-smallvec, r=nnethercoteDylan DPC-3/+4
2020-05-31Rollup merge of #72807 - xiaotianrandom:fix-assoc-type-diagnostics, r=estebankDylan DPC-19/+12
2020-05-31Rollup merge of #72715 - estebank:trailing-comma-where, r=petrochenkovRalf Jung-1/+1
2020-05-31remove fixme for `stalled_on`Bastian Kauschke-3/+4
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-29Rollup merge of #72466 - lzutao:stabilize_str-strip, r=dtolnayDylan DPC-1/+0
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-33/+31
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-7/+2
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-11/+9
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-5/+0
2020-05-22Remove ReScopeMatthew Jasper-2/+2
2020-05-22Stabilize str_strip featureLzu Tao-1/+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-191/+222
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-55/+73
2020-05-20make `to_predicate` take a `tcx` argumentNiko Matsakis-61/+68
2020-05-20rename `Predicate` to `PredicateKind`, introduce aliasBastian Kauschke-100/+108
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-27 13:35:47 +0000